From 5671b8da2372a57337dbd70f45553838d127bcea Mon Sep 17 00:00:00 2001 From: Omar Rizwan Date: Tue, 17 Jan 2023 03:21:14 -0500 Subject: Do not overwrite programs --- virtual-programs/print.folk | 3 +++ 1 file changed, 3 insertions(+) (limited to 'virtual-programs') diff --git a/virtual-programs/print.folk b/virtual-programs/print.folk index 1d768f67..d523e43f 100644 --- a/virtual-programs/print.folk +++ b/virtual-programs/print.folk @@ -186,6 +186,9 @@ When /someone/ wishes to print /code/ with job id /jobid/ { set ps [programToPs $id $code $format front] # save code and ps to disk + if {[file exists "$::env(HOME)/folk-printed-programs/$id.folk"]} { + error "Program $id already exists on disk. Aborting print." + } set fp [open "$::env(HOME)/folk-printed-programs/$id.folk" w] puts $fp $code close $fp -- cgit v1.2.3