2012-06-13 23:21:34 +00:00
|
|
|
#!/mod/bin/jimsh
|
|
|
|
|
|
|
|
package require cgi
|
|
|
|
source /mod/webif/lib/setup
|
|
|
|
|
2013-02-09 22:46:15 +00:00
|
|
|
httpheader
|
2012-06-13 23:21:34 +00:00
|
|
|
|
|
|
|
set dir [cgi_get dir]
|
|
|
|
set flag [cgi_get flag]
|
|
|
|
if {![file isdirectory $dir]} { exit }
|
|
|
|
if {[file exists "$dir/.$flag"]} {
|
|
|
|
file delete "$dir/.$flag"
|
|
|
|
puts "Unflagged directory as $flag."
|
|
|
|
} else {
|
|
|
|
close [open "$dir/.$flag" w]
|
|
|
|
puts "Flagged directory as $flag."
|
|
|
|
}
|
|
|
|
|