clean up signal handling: let R handle child's useful interrupts and catch only server interrupts