Closed fxthomas closed 11 years ago
Really awesome work. I did notice some problems when I already had the emulator open, but otherwise it worked perfectly!
Also, I made a patch to standardize the file and permission names to a format like "scala-library-2.10.0.jar". That seems less confusing for users who otherwise would need to cat the permissions xml file to get the permission name.
Forgot to note that this has been merged. Thanks!
Excellent! Glad it worked!
By the way, if the emulator is already started, the command kills it by default. I'm not sure whether this is required, but there will probably be conflicts between the read-only and the read-write emulators if I don't do that, so...
This is a fix for emulator preloading, now works without any issue, at least on my side :