Misc.

+ Removed the fixed shutdown time
+ Added the configuration for the public web server
+ Refactored the old web server settings
+ Improved the handling of shutdown handlers. It is not save!
+ Bugfix: The server start was no longer blocking

Tools/Init.go

@@ -29,6 +29,6 @@ func init() {
 
 	// Build the local IP address and port:
 	allHostsIPAddresses := ReadAllIPAddresses4ThisHost()
-	port := ConfigurationDB.Read(`OceanServerPort`)
+	port := ConfigurationDB.Read(`PublicWebServerPort`)
 	localIPAddressAndPort = allHostsIPAddresses[0] + `:` + port
 }