diff options
| author | Omar Rizwan <omar@omar.website> | 2023-01-17 08:21:14 +0000 |
|---|---|---|
| committer | Omar Rizwan <omar@omar.website> | 2023-01-17 08:21:14 +0000 |
| commit | 5671b8da2372a57337dbd70f45553838d127bcea (patch) | |
| tree | b7f9f0a47dfeefb8758778afeffb43f8eb12ea8a /virtual-programs | |
| parent | Initialize folk-printed-programs (diff) | |
| download | folk-5671b8da2372a57337dbd70f45553838d127bcea.tar.gz folk-5671b8da2372a57337dbd70f45553838d127bcea.zip | |
Do not overwrite programs
Diffstat (limited to 'virtual-programs')
| -rw-r--r-- | virtual-programs/print.folk | 3 |
1 files changed, 3 insertions, 0 deletions
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 |