The following threads wouldn't die: ['httpd@8080_1']

@jan - Should any well-behaved server call http_stop_server/2 before it exits? The http_daemon/0 [demo_daemon.pl](http://demo_daemon.pl) doesn’t, but is that an oversight?