Cleanly kill WEBrick