diff options
Diffstat (limited to 'demoscript/Util.py')
| -rw-r--r-- | demoscript/Util.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 14351c8e6c3..97b45e1682e 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -723,8 +723,8 @@ def spawn(command, cwd = None, mapping = None): args = '%s %s' % (args, defaultHost) # magic - knownCommands = [ "icegridnode", "icegridregistry", "icebox", "iceboxd", "icegridadmin", "icestormadmin", - "iceboxadmin", "transformdb", "glacier2router" ] + knownCommands = [ "icegridnode", "icegridregistry", "icebox", "iceboxd", "icebox32", "icebox++11", "icebox32++11", + "icegridadmin", "icestormadmin", "iceboxadmin", "transformdb", "glacier2router" ] if mapping == None: if desc in knownCommands: mapping = "cpp" |