chiark / gitweb /
Write a pidfile on request, and delete it when finished.
[tripe] / doc /
drwxr-xr-x   ..
-rw-r--r-- 51 .cvsignore
-rw-r--r-- 1317 Makefile.am
-rw-r--r-- 6477 tripe-admin.5
-rw-r--r-- 9856 tripe.8
-rw-r--r-- 471 tripectl.1
-rw-r--r-- 11836 wrestlers.tex