summaryrefslogtreecommitdiff
path: root/tools/patchgame.js
diff options
context:
space:
mode:
authorTor Andersson <tor@ccxvii.net>2023-07-03 16:45:43 +0200
committerTor Andersson <tor@ccxvii.net>2023-07-10 13:10:34 +0200
commitf6397dca9091cba8057f62815a9eabacf02ad098 (patch)
treeedb346246cb3fb0042372c8245d7aa046683869d /tools/patchgame.js
parent43a8cbae409aa0cfd777cbbabbc4280fe191ce1c (diff)
downloadserver-f6397dca9091cba8057f62815a9eabacf02ad098.tar.gz
Don't delete undo by default when patching games.
Diffstat (limited to 'tools/patchgame.js')
-rwxr-xr-xtools/patchgame.js4
1 files changed, 2 insertions, 2 deletions
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 <game_id> '{options}'\n")
process.stderr.write(" or: ./tools/patchgame.js <title_id> '{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)
}