Summary of changes: 62b35fc... Patch server to send a fake request in SIGTERM exit handler (*) 7837d4c... Patch server and builder to send a fake request in SIGTERM (*) (*) This commit already existed in another branch; no separate mail sent