Advertisement
Guest User

Untitled

a guest
Jun 19th, 2019
72
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.29 KB | None | 0 0
  1. local data_raw = require("data_raw");
  2. local json = require ("dkjson");
  3. local str = json.encode (data_raw, { indent = true });
  4. local current_outFile = io.output();
  5. io.output("data_raw.js");
  6. io.output():write(str);
  7. io.output():flush();
  8. io.output():close();
  9. io.output(current_outFile);
  10. os.exit(0);
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement