diff --git a/xtrn/war/warupd.js b/xtrn/war/warupd.js index fe2194e2d7a699085302dbc4eb77526838a82801..8bf416bfd01a4187e80ff56873a2e1addbcac005 100644 --- a/xtrn/war/warupd.js +++ b/xtrn/war/warupd.js @@ -853,7 +853,6 @@ function main(argc, argv) savegame(fp); fp.close(); } - exit(0); } main(argc, argv);