File: shutdown_server.py

package info (click to toggle)
python-websockets 15.0.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,948 kB
  • sloc: python: 25,105; javascript: 350; ansic: 148; makefile: 43
file content (19 lines) | stat: -rwxr-xr-x 470 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#!/usr/bin/env python

import asyncio
import signal

from websockets.asyncio.server import serve

async def handler(websocket):
    async for message in websocket:
        ...

async def server():
    async with serve(handler, "localhost", 8765) as server:
        # Close the server when receiving SIGTERM.
        loop = asyncio.get_running_loop()
        loop.add_signal_handler(signal.SIGTERM, server.close)
        await server.wait_closed()

asyncio.run(server())