From f6397dca9091cba8057f62815a9eabacf02ad098 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Mon, 3 Jul 2023 16:45:43 +0200 Subject: Don't delete undo by default when patching games. --- tools/patchgame.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools/patchgame.js') diff --git a/tools/patchgame.js b/tools/patchgame.js index 9751d26..6808704 100755 --- a/tools/patchgame.js +++ b/tools/patchgame.js @@ -86,7 +86,7 @@ function is_valid_action(rules, state, role, action, arg) { return false } -function patch_game(game_id, {validate_actions=true, save_snaps=true, delete_undo=true, delete_invalid=false}, verbose) { +function patch_game(game_id, {validate_actions=true, save_snaps=true, delete_undo=false, delete_invalid=false}, verbose) { let game = select_game.get(game_id) if (!game) { console.error("game not found:", game_id) @@ -203,7 +203,7 @@ if (process.argv.length < 3) { process.stderr.write("usage: ./tools/patchgame.js '{options}'\n") process.stderr.write(" or: ./tools/patchgame.js '{options}'\n") process.stderr.write(" or: ./tools/patchgame.js all '{options}'\n") - process.stderr.write('options: { "validate_actions":true, "delete_invalid":false, "save_snaps":true, "delete_undo":true }\n') + process.stderr.write('options: { "validate_actions":true, "delete_invalid":false, "save_snaps":true, "delete_undo":false }\n') process.exit(1) } -- cgit v1.2.3