diff options
| -rwxr-xr-x | src/java-config-2 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/java-config-2 b/src/java-config-2 index c9345a4..1a0d02a 100755 --- a/src/java-config-2 +++ b/src/java-config-2 @@ -244,6 +244,9 @@ def clean_user_classpath(option, opt, value, parser): manager.clean_classpath(user_classpath_target()) def select_vm(option, opt, value, parser): + if value == '': + return + vm = manager.get_vm(value) if vm: manager.set_active_vm(manager.get_vm(value)) |