diff --git a/xtrn/war/war.js b/xtrn/war/war.js index dfa63b02a197096968439b5b61c16eb5dbd854be..6d8c04ff893c04e7a8ddaf9cea344615c94bbc5e 100644 --- a/xtrn/war/war.js +++ b/xtrn/war/war.js @@ -574,6 +574,7 @@ function reader(fname, mode) switch(mode) { case 2: var fp = new File(backslash(orig_exec_dir)+fname); + break; default: var fp = new File(getpath(fname)); }