+#endif /* HAVE_MIT_SAVER_EXTENSION */
+
+
+#ifdef HAVE_SGI_SAVER_EXTENSION
+ if (event.type == (sgi_saver_ext_event_number + ScreenSaverStart))
+ {
+# ifdef DEBUG_TIMERS
+ if (verbose_p)
+ printf ("%s: ScreenSaverStart event received at %s\n",
+ progname, timestring ());
+# endif /* DEBUG_TIMERS */
+
+ if (until_idle_p)
+ goto DONE;
+ }
+ else if (event.type == (sgi_saver_ext_event_number + ScreenSaverEnd))
+ {
+# ifdef DEBUG_TIMERS
+ if (verbose_p)
+ printf ("%s: ScreenSaverEnd event received at %s\n",
+ progname, timestring ());
+# endif /* DEBUG_TIMERS */
+ if (!until_idle_p)
+ goto DONE;
+ }
+ else
+#endif /* HAVE_SGI_SAVER_EXTENSION */