<html>
{
-# $Id: showfull.egw,v 1.23 1996/03/13 14:07:31 adam Exp $
+# $Id: showfull.egw,v 1.24 1996/03/14 11:50:49 adam Exp $
proc buttons {setNo tno no format count host after} {
global sessionId
if {[info commands saveState] == ""} {
source z39util.tcl
+ if {![info exists debug]} {
+ session-lost
+ egw_abort
+ }
}
global setNo