docs: @Override
  	public void deleteSession(String sessionName) {
  		logger.debug("deleteSession " + sessionName);
  	    if (databaseServer == null) {
  	    	return;
  	    }
          try {
  			databaseServer.shutdown(false);
  		} catch (SQLException e) {
              logger.error(e.getMessage(), e);
  		}
  		
          deleteDbFile(new File(sessionName));
          deleteDbFile(new File(sessionName + ".data"));
          deleteDbFile(new File(sessionName + ".script"));
          deleteDbFile(new File(sessionName + ".properties"));
          deleteDbFile(new File(sessionName + ".backup"));
          deleteDbFile(new File(sessionName + ".lobs"));
          
          databaseServer = null;
      }