chiark / gitweb /
rhodes: Don't try to kill ourselves when zapping redundant workers.
-rw-r--r-- 38 .gitignore
-rw-r--r-- 1067 Makefile
-rwxr-xr-x 1225 dispatch
-rw-r--r-- 979 factor.c
-rw-r--r-- 6576 rho.cc
-rwxr-xr-x 16022 rhodes