Feature #44778 Handle the case when the server is down or when the connection to the server is lost
Merge branch 'master' of https://github.com/deerwalk/voltdb

Conflicts:
	src/frontend/org/voltdb/dbmonitor/js/voltdb.core.js
	src/frontend/org/voltdb/dbmonitor/js/voltdb.ui.js