search

starcraft66 / minecraft-discord-bridge

A minecraft <-> discord bridge with no server-side requirements
Apache License 2.0
30 stars 9 forks source link

Handle SIGTERM #58

Closed starcraft66 closed 5 years ago

starcraft66 commented 5 years ago

Handle SIGTERM by making it raise a KeyboardInterrupt This is an elegant way to make docker stop the bridge cleanly.