From 7c432f89b5f4558c18315f0299d2e33f66ed9126 Mon Sep 17 00:00:00 2001 From: Robert Sachunsky Date: Sun, 9 Jul 2023 15:53:51 +0200 Subject: [PATCH] web server: add cancel_job endpoint (simply killing the PID) --- sampo.conf | 1 + 1 file changed, 1 insertion(+) diff --git a/sampo.conf b/sampo.conf index c8e88ad..2b085ad 100644 --- a/sampo.conf +++ b/sampo.conf @@ -4,3 +4,4 @@ match_uri '^/for_production|^/process_images' run_external_script for_production match_uri '^/for_presentation|^/process_mets' run_external_script for_presentation.sh +match_uri '^/cancel_job/(.*)$' run_external_script kill