#!/usr/local/bin/tclsh 
# The termination script. You need close all the channels
# you have opened. 
if {$xsl_log_channame != "stdout"} { 
    close $xsl_log_channame
} 
file delete xselcmd.tmp