Make server interruptible
Use an interruptor to immediately wake up blocking calls on server_stop().
R
Romain Vimont committed
f488cbd7e7f8a74ace23416faa962b6a510f8374
Parent: 4034050
Use an interruptor to immediately wake up blocking calls on server_stop().