diff --git a/xtrn/war/warpoll.js b/xtrn/war/warpoll.js
index 8f240742a3335aa6ee7b67395f536726a9c83d54..123359b2e9400b4392266edab29c75c4aeae748f 100644
--- a/xtrn/war/warpoll.js
+++ b/xtrn/war/warpoll.js
@@ -41,19 +41,23 @@ var game_dir = orig_exec_dir;
 load(game_dir+'/warcommon.js');
 
 polled_update = true;
-function main(argc, argv)
+function main(argc, main_argv)
 {
 	var done_count;
 	var fp;
 	var arg;
 	var n;
+	var i;
+	var filename;
+	var inbuf;
+	var rc;
 
 	if(argc==0)
-		argv = [orig_exec_dir];
+		main_argv = [orig_exec_dir];
 
-	for(arg in argv) {
+	for(arg in main_argv) {
 		done_count = 0;
-		set_game(argv[arg]);
+		set_game(main_argv[arg]);
 		if(loadmap() != 0)
 			continue;
 		if(loadsave() != 0)