From b0077a3ee98a1de1cf1e700183daa7011b31edb8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 17 Feb 2022 21:31:15 +0100 Subject: [PATCH] add signal handler --- main.py | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/main.py b/main.py index f57ef1b..f781b19 100644 --- a/main.py +++ b/main.py @@ -1,8 +1,21 @@ +import signal +import shutil from pathlib import Path from PyTeX.build.build import PyTeXBuilder from PyTeX.build.build.pytex_config import PyTeXConfig from PyTeX.format.formatting_config import FormattingConfig + +def interrupt_handler(signum, frame): + if Path('.pytex').exists(): + shutil.rmtree('.pytex') + print('Interrupted execution') + quit(1) + + +signal.signal(signal.SIGINT, interrupt_handler) + + conf_path = Path('.pytexrc') builder = PyTeXBuilder(conf_path) @@ -10,5 +23,4 @@ builder = PyTeXBuilder(conf_path) builder.build_tex_sources() - pass