JS update IDL definitions, append source URL to downloaded file

2015-05-13 18:56:53 +03:00
parent 7033b27ea8
commit b34da5713d
15 changed files with 59 additions and 38 deletions
@@ -69,6 +69,7 @@ fun main(args: Array<String>) {
                val (url) = pair
                println("Loading ${url}...")

+                w.appendln("// Downloaded from $url")
                if (url.endsWith(".idl")) {
                    w.appendln(URL(url).readText())
                } else {