# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1365439626 -7200
# Node ID 8ddaac81cb21c41f771ada9be700d7ae3f3a9ed8
# Parent  822163edb8bf0216c6171abf736101f04054f67e
Be more careful while updating jvm.cfg (fixes a bug where the -server configuration would overwrite the -server0 one)

diff -r 822163edb8bf -r 8ddaac81cb21 mx/commands.py
--- a/mx/commands.py	Mon Apr 08 18:40:18 2013 +0200
+++ b/mx/commands.py	Mon Apr 08 18:47:06 2013 +0200
@@ -658,8 +658,8 @@
         if not exists(jvmCfg):
             mx.abort(jvmCfg + ' does not exist')
 
-        prefix = '-' + vm
-        vmKnown = prefix + ' KNOWN\n'
+        prefix = '-' + vm + ' '
+        vmKnown = prefix + 'KNOWN\n'
         lines = []
         found = False
         with open(jvmCfg) as f:
@@ -669,7 +669,7 @@
                 lines.append(line)
                 
         if not found:
-            mx.log('Appending "' + prefix + ' KNOWN" to ' + jvmCfg)
+            mx.log('Appending "' + prefix + 'KNOWN" to ' + jvmCfg)
             if mx.get_os() != 'windows':
                 os.chmod(jvmCfg, 0755)
             with open(jvmCfg, 'w') as f: