PHP Signal Handling Library