Fix warnings

This commit is contained in:
Sebastian Morr 2020-10-26 19:56:52 +01:00
parent 2dc04b1682
commit 8f70770107
9 changed files with 19 additions and 52 deletions

View file

@ -84,7 +84,7 @@ func careful_delete(path_inside):
if path_inside.substr(0,expected_prefix.length()) != expected_prefix:
helpers.crash("Refusing to delete directory %s that does not start with %s" % [path_inside, expected_prefix])
else:
game.global_shell.cd(game.tmp_prefix_inside)
game.global_shell.cd(game.tmp_prefix)
game.global_shell.run("rm -rf '%s'" % path_inside)
func parse(file):