Merge tag '0.7' into patch_auth

Version 0.7 MapDB migration
This commit is contained in:
Luca Capra
2015-07-23 15:54:14 +02:00
9 changed files with 56 additions and 52 deletions
@@ -41,7 +41,7 @@ public class Server {
public static void main(String[] args) throws IOException {
final Server server = new Server();
server.startServer();
System.out.println("Server started, version 0.7-SNAPSHOT");
System.out.println("Server started, version 0.7");
//Bind a shutdown hook
Runtime.getRuntime().addShutdownHook(new Thread() {
@Override