diff options
author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2024-06-05 13:10:11 (GMT) |
---|---|---|
committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2024-06-05 13:10:11 (GMT) |
commit | 9d4f0b95ebcb92f94f3e4895af5014c458d68519 (patch) | |
tree | da9fe86d2c5f774d274fa0c462e5c949861e564e /library/platform | |
parent | 514638fd758486513ea7eb842bb8972fd854ca06 (diff) | |
download | tcl-9d4f0b95ebcb92f94f3e4895af5014c458d68519.zip tcl-9d4f0b95ebcb92f94f3e4895af5014c458d68519.tar.gz tcl-9d4f0b95ebcb92f94f3e4895af5014c458d68519.tar.bz2 |
More of the same: Space before tab is extremely unlikely to be correct indentation pattern.
Diffstat (limited to 'library/platform')
-rw-r--r-- | library/platform/shell.tcl | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/library/platform/shell.tcl b/library/platform/shell.tcl index 60d5b37..a91849c 100644 --- a/library/platform/shell.tcl +++ b/library/platform/shell.tcl @@ -163,34 +163,34 @@ proc ::platform::shell::TEMP {} { set checked_dir_writable 0 set mypid [pid] for {set i 0} {$i < $maxtries} {incr i} { - set newname $prefix - for {set j 0} {$j < $nrand_chars} {incr j} { - append newname [string index $chars \ + set newname $prefix + for {set j 0} {$j < $nrand_chars} {incr j} { + append newname [string index $chars \ [expr {int(rand()*62)}]] - } + } set newname [file join $tmpdir $newname] - if {[file exists $newname]} { - after 1 - } else { - if {[catch {open $newname $access $permission} channel]} { - if {!$checked_dir_writable} { - set dirname [file dirname $newname] - if {![file writable $dirname]} { - return -code error "Directory $dirname is not writable" - } - set checked_dir_writable 1 - } - } else { - # Success + if {[file exists $newname]} { + after 1 + } else { + if {[catch {open $newname $access $permission} channel]} { + if {!$checked_dir_writable} { + set dirname [file dirname $newname] + if {![file writable $dirname]} { + return -code error "Directory $dirname is not writable" + } + set checked_dir_writable 1 + } + } else { + # Success close $channel - return [file normalize $newname] - } - } + return [file normalize $newname] + } + } } if {$channel ne ""} { - return -code error "Failed to open a temporary file: $channel" + return -code error "Failed to open a temporary file: $channel" } else { - return -code error "Failed to find an unused temporary file name" + return -code error "Failed to find an unused temporary file name" } } |