Fix names to match island naming conventions

This commit is contained in:
Daniel Goldberg 2020-02-09 18:40:44 +02:00
parent d24df55f90
commit ad9450a77e
1 changed files with 5 additions and 1 deletions

View File

@ -94,7 +94,11 @@ def get_traceroute_binaries():
def get_monkey_filename():
name = 'monkey'
name = 'monkey-'
if is_windows():
name = name+"windows-"
else:
name = name+"linux-"
if is_32_bit():
name = name+"32"
else: