#
-# $Id: z39util.tcl,v 1.40 1996/03/13 14:07:32 adam Exp $
+# $Id: z39util.tcl,v 1.41 1996/03/14 11:50:51 adam Exp $
#
proc saveState {} {
uplevel #0 {
rename targetsCmp {}
}
+proc session-lost {} {
+ global useIcons
+
+ html {<head><title>WWW/Z39.50 Gateway: Session Expired</title></head>}
+ html \n {<body>}
+ set useIcons 1
+ button-main
+ html {<h1>Session Expired</h1>}
+ html {Your session has expired. Please reload the gateways' }
+ html {front page.<br><br>} \n
+ set useIcons 0
+ button-main
+ html {</body></html>}
+}
+
if {[info exists utilExtension]} {
source $utilExtension
-}
\ No newline at end of file
+}
+