Advertisement
rotrevrep

Untitled

Dec 4th, 2015
1,162
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. uint8[] data;
  2. File.new_for_uri (js_url).load_contents (null, out data, null);
  3. var stream = new DataInputStream (new MemoryInputStream.from_data (data));
Advertisement
RAW Paste Data Copied
Advertisement