From: Christian Heller Date: Tue, 24 Feb 2015 11:36:37 +0000 (+0100) Subject: Server/py: Add (mostly dummy) MAP_LENGTH command. X-Git-Tag: tce~472 X-Git-Url: https://plomlompom.com/repos/%7B%7B%20web_path%20%7D%7D/decks/%7B%7Bdb.prefix%7D%7D/static/%27%29;%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20chunks.push%28escapeHTML%28span%5B2%5D%29%29;%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20chunks.push%28%27?a=commitdiff_plain;h=bf6cf401d8ea1994f95c4b1aaaf8f041bfb0dbff;p=plomrogue Server/py: Add (mostly dummy) MAP_LENGTH command. --- diff --git a/plomrogue-server.py b/plomrogue-server.py index 5a45c1b..3223574 100755 --- a/plomrogue-server.py +++ b/plomrogue-server.py @@ -120,6 +120,7 @@ def save_world(): # Dummy for saving all commands to reconstruct current world state. # Misses same optimizations as record() from the original record(). atomic_write(io_db["path_save"], + "MAP_LENGTH " + str(world_db["MAP_LENGTH"]) + "\n" + "PLAYER_TYPE " + str(world_db["PLAYER_TYPE"]) + "\n" + "TURN " + str(world_db["TURN"]) + "\n" + "SEED_RANDOMNESS " + str(world_db["SEED_RANDOMNESS"]) + "\n" + @@ -275,11 +276,16 @@ def command_seedmap(seed_string): def command_makeworld(seed_string): - # Mere dummy so far. + # DUMMY. worlddb_value_setter("SEED_MAP", 0, 4294967295)(seed_string) worlddb_value_setter("SEED_RANDOMNESS", 0, 4294967295)(seed_string) +def command_maplength(maplength_string): + # DUMMY. + worlddb_value_setter("MAP_LENGTH", 1, 256)(maplength_string) + + """Commands database. Map command start tokens to ([0]) number of expected command arguments, ([1]) @@ -295,7 +301,8 @@ commands_db = { "SEED_RANDOMNESS": (1, False, worlddb_value_setter("SEED_RANDOMNESS", 0, 4294967295)), "TURN": (1, False, worlddb_value_setter("TURN", 0, 65535)), - "PLAYER_TYPE": (1, False, worlddb_value_setter("PLAYER_TYPE", 0, 255)) + "PLAYER_TYPE": (1, False, worlddb_value_setter("PLAYER_TYPE", 0, 255)), + "MAP_LENGTH": (1, False, command_maplength) } @@ -304,7 +311,8 @@ world_db = { "TURN": 0, "SEED_MAP": 0, "SEED_RANDOMNESS": 0, - "PLAYER_TYPE": 0 + "PLAYER_TYPE": 0, + "MAP_LENGTH": 64 }