connfailed =
  '<div id="modal" class="modal fade">' +
  '  <div class="modal-header">' +
  '    <h3>git-annex has shut down</h3>' +
  '  </div>' +
  '  <div class="modal-body">' +
  '    You can now close this browser window.' +
  '  </div>' +
  '</div>' ;

function webapp_disconnected () {
	$('#modal').replaceWith(connfailed);
	$('#modal').modal('show');

	// ideal, but blocked by many browsers
	window.close();
}