From 7b6b219cdf52b003f2d5d089927a02e3eb425571 Mon Sep 17 00:00:00 2001 From: Bastian Venthur Date: Thu, 1 Sep 2022 11:11:53 +0200 Subject: [PATCH] mark autoreload as NoReturn --- blag/devserver.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/blag/devserver.py b/blag/devserver.py index 2c31046..42feac0 100644 --- a/blag/devserver.py +++ b/blag/devserver.py @@ -8,6 +8,7 @@ site if necessary. # remove when we don't support py38 anymore from __future__ import annotations +from typing import NoReturn import os import logging import time @@ -51,7 +52,7 @@ def get_last_modified(dirs: list[str]) -> float: return last_mtime -def autoreload(args: argparse.Namespace) -> None: +def autoreload(args: argparse.Namespace) -> NoReturn: """Start the autoreloader. This method monitors the given directories for changes (i.e. the