]> arthur.barton.de Git - ngircd.git/search
- neues Script getpid.sh (aus HEAD): dieses ermittelt nun die PID des Servers.