ftok suffix changed

[brisk.git] / web / Obj / user.phh

diff --git a/web/Obj/user.phh b/web/Obj/user.phh
index f993848..4bd6d95 100644 (file)
--- a/web/Obj/user.phh
+++ b/web/Obj/user.phh
@@ -528,7 +528,7 @@ class User {
       log_main("load_data: id [".$id."] sess [".($sess == FALSE ? "FALSE" : $sess)."] ");
       
       do {
-          if (($tok = @ftok(FTOK_PATH."/user".$id, "B")) == -1) {
+          if (($tok = @ftok(FTOK_PATH."/user".$id, "C")) == -1) {
               log_main("ftok failed");
               break;
           }
@@ -595,7 +595,7 @@ class User {
       
       $shm =   FALSE;
       
-      if (($tok = @ftok(FTOK_PATH."/user".$id, "B")) == -1) {
+      if (($tok = @ftok(FTOK_PATH."/user".$id, "C")) == -1) {
           return (FALSE);
       }
       while ($user->shm_sz < SHM_DIMS_U_MAX) {
@@ -947,4 +947,4 @@ static function base_get()
 } // end class User
 
 
-?>
\ No newline at end of file
+?>