\n"; echo "--------------------------------------------------------------------------------
\n"; echo "GLOBAL_dbhandle : " . $GLOBAL_dbhandle . "
\n"; echo "GLOBAL_dblocked : " . $GLOBAL_dblocked . "
\n"; echo "GLOBAL_html_indent_level : " . $GLOBAL_html_indent_level . "
\n"; echo "GLOBAL_utime_sec : " . $GLOBAL_utime_sec . "
\n"; echo "GLOBAL_utime_sec_11 : " . $GLOBAL_utime_sec_11 . "
\n"; echo "GLOBAL_utime_nsec : " . $GLOBAL_utime_nsec . "
\n"; echo "GLOBAL_stime_year : " . $GLOBAL_stime_year . "
\n"; echo "GLOBAL_stime_month : " . $GLOBAL_stime_month . "
\n"; echo "GLOBAL_stime_day : " . $GLOBAL_stime_day . "
\n"; echo "GLOBAL_stime_hour : " . $GLOBAL_stime_hour . "
\n"; echo "GLOBAL_stime_minute : " . $GLOBAL_stime_minute . "
\n"; echo "GLOBAL_stime_second : " . $GLOBAL_stime_second . "
\n"; echo "GLOBAL_stime_usec : " . $GLOBAL_stime_usec . "
\n"; echo "GLOBAL_stime_dow : " . $GLOBAL_stime_dow . "
\n"; echo "--------------------------------------------------------------------------------
\n"; echo "\n"; } //-------------------------------------------------------------------------------------------------------------- //End of $RCSfile: devel.inc,v $. //-------------------------------------------------------------------------------------------------------------- ?>