pygls_lsp_server_with_countdown_custom_command.py

1import time
2from pygls.server import LanguageServer
3
4server = LanguageServer("count-down-server", "v0.1")
5
6@server.command("count.down")
7def count_down(ls, args):
8    """Starts counting down from a given number."""
9    n = args[0]
10    for i in range(n, 0, -1):
11        ls.show_message(f"Counting down... {i}")
12        time.sleep(1)
13    ls.show_message("Finished!")
14
15if __name__ == "__main__":
16    server.start_io()