X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=www%2Fz39util.tcl;h=36a28a1588133b7fc54bf8ff06cc06e48cb382a5;hb=8bafbc608e1ffba9ee87f4856e586dffa57901b8;hp=ba0b55eae59549aac99bd00ce82b2a3b8343a6cc;hpb=a61ad0378b93e99e362a1d92c33d701dbf103eba;p=egate.git
diff --git a/www/z39util.tcl b/www/z39util.tcl
index ba0b55e..36a28a1 100644
--- a/www/z39util.tcl
+++ b/www/z39util.tcl
@@ -1,5 +1,5 @@
#
-# $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 {
@@ -1872,6 +1872,22 @@ proc serverList {headlineProc targetProc} {
rename targetsCmp {}
}
+proc session-lost {} {
+ global useIcons
+
+ html {WWW/Z39.50 Gateway: Session Expired}
+ html \n {}
+ set useIcons 1
+ button-main
+ html {Session Expired
}
+ html {Your session has expired. Please reload the gateways' }
+ html {front page.
} \n
+ set useIcons 0
+ button-main
+ html {