This procedure is defined in the server but not documented via ad_proc or proc_doc and may be intended as a private interface.
The procedure is defined as:
proc tdav::write_lock {uri list} { set f [open [tdav::get_lock_file $uri] w] puts $f $list close $f }