web server: add cancel_job endpoint (simply killing the PID)

slub · Jul 9, 2023 · 7c432f8 · 7c432f8
1 parent 717196d
commit 7c432f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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