comparison tools/area_editor.py @ 150:ebdb910257da

Rebuild PNG
author Stefano Rivera <stefano@rivera.za.net>
date Mon, 02 Sep 2013 23:38:11 +0200
parents c9b6685ebebf
children c59c04c3e971
comparison
equal deleted inserted replaced
149:9bdbc94b0d62 150:ebdb910257da
330 330
331 331
332 if __name__ == "__main__": 332 if __name__ == "__main__":
333 if len(sys.argv) == 2: 333 if len(sys.argv) == 2:
334 level = EditorLevel(sys.argv[1]) 334 level = EditorLevel(sys.argv[1])
335 level.load() 335 level.load(set())
336 elif len(sys.argv) == 4: 336 elif len(sys.argv) == 4:
337 level = EditorLevel(sys.argv[1], int(sys.argv[2]), int(sys.argv[3])) 337 level = EditorLevel(sys.argv[1], int(sys.argv[2]), int(sys.argv[3]))
338 else: 338 else:
339 print 'Please supply a levelname or levelname and level size' 339 print 'Please supply a levelname or levelname and level size'
340 sys.exit() 340 sys.exit()