/* $Log: db_down.html,v $ Revision 1.6 1996/08/21 17:53:47 kimberly rename index.html to index.html; break long lines; add comments Revision 1.5 1996/08/09 02:04:43 kimberly change version number Revision 1.4 1996/08/09 02:02:58 kimberly add commenting */ if (!loggedIn()) redirect("initial.html?err=1"); if (client.db_err && client.db_err != "null") { write("

Your request could be processed because a database error occurred.

"); write("

"+client.db_err+"

"); } else { write("

Tock was unable to establish a connection to the database.

"); } client.db_err = null;

Please contact your administrator for assistance.