Merge branch 'heni-fix-long-pids'

GetPageSpeed · Oct 15, 2022 · fc91243 · fc91243
2 parents be8e6de + 6f024b8
commit fc91243
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/common/pid.c b/common/pid.c
@@ -39,7 +39,7 @@ npid_t PID;
 void init_common_PID (void) {
   if (!PID.pid) {
     int p = getpid ();
-    // assert (!(p & 0xffff0000));
+    assert (!(p & 0x80000000));
     PID.pid = p;
   }
   if (!PID.utime) {

diff --git a/common/pid.h b/common/pid.h
@@ -29,14 +29,14 @@
 struct process_id {
   unsigned ip;
   short port;
-  unsigned short pid;
+  unsigned int pid;
   int utime;
 };
 
 struct process_id_ext {
   unsigned ip;
   short port;
-  unsigned short pid;
+  unsigned int pid;
   int utime;
   int actor_id;
 };