<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_lopuitgociibv7hau3s2kcek5q, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// returns true if DB was running
static bool shutDownDB(S dbID) {
  RemoteDB db = connectToDBOpt(dbID);
  if (db != null) {
    print("Shutting down DB " + dbID + "...");
    try {
      db.xshutdown();
    } catch e {
      print("Possibly OK: " + exceptionToStringShort(e));
    }
    db.close();
    if (dbRunning(dbID)) {
      sleepSeconds(5);
      if (dbRunning(dbID))
        fail("Could not should down DB " + dbID);
    }
    print("DB shut down.");
    true;
  } else {
    print("DB not running.");
    false;
  }
}