The Scion server will now automatically be restarted when it crashes, restoring the state it was previously in. If the server cannot be started, a helpful error message is shown that can forward the user to the Scion preferences page in order to configure the server executable's location.
Now uses the Eclipse job scheduler to run commands. This is a lot cleaner than using our own command queue; moreover, it gives us more flexibility such as job priorities and cancellation. Also, made parts of ...scion.client internal for a cleaner separation of interface and implementation.
Settled on the reference JSON implementation for Java (instead of json-simple) because it is a little bit cleaner. Also experimenting with compilation error markers, but this is done from the wrong place, so they tend to disappear again.
… server binary to this page. Ignore-this: 14088ddae7142aac0c354f98e8b7df7e darcs-hash:20090615161403-04e1b-0c2addab79d0abe9f4beadeffbcb37cd350e7789.gz