changed max pid back to 30000

diff --git a/servers/pm/const.h b/servers/pm/const.h
index 5325a51322b6cc76d7036f7e49fffb583f2923eb..dd6d962084946b4a99bd4a52bd01b357a23811f2 100644 (file)
--- a/servers/pm/const.h
+++ b/servers/pm/const.h
@@ -11,7 +11,10 @@
 #define MAX_PAGES       4096   /* how many pages in the virtual addr space */
 #endif
 
-#define NR_PIDS               65536    /* process ids range from 0 to NR_PIDS-1 */
+#define NR_PIDS               30000    /* process ids range from 0 to NR_PIDS-1.
+                                * (magic constant: some old applications use
+                                * a 'short' instead of pid_t.)
+                                */
 
 #define PM_PID            0    /* PM's process id number */
 #define PM_PARENT         -1   /* PM's parent process slot */