<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_rrpohq07o4ksd9peaebd3e0cfi, 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 />
static Map objectID_map;

static long objectID(O o) {
  if (o == null) ret 0;
  Map generalMap = getOpt(javax(), 'generalMap);
  if (generalMap == null) fail("Please upgrade JavaX");
  synchronized(generalMap) {
    Map map = cast generalMap.get("objectIDs");
    if (map == null)
      generalMap.put(map = new WeakHashMap);
    Long l = map.get(o);
    if (l == null) {
      l = toLong(generalMap.get("lastObjectID"))+1;
      generalMap.put("lastObjectID", l);
      map.put(o, l);
    }
    ret l;
  }
}