Go to the documentation of this file.00001 <?php
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00035 session_start();
00036
00037 if(!$HTTP_SESSION_VARS[modul_name]) {
00038 $modul_name = "DP_ILIAS" ;
00039 session_register("modul_name");
00040 }
00041
00042 if(!session_is_registered ("DP_UId")) session_register("DP_UId");
00043 if(!session_is_registered ("DP_Lang")) session_register("DP_Lang");
00044 if(!session_is_registered ("DP_Skin")) session_register("DP_Skin");
00045 if(!session_is_registered ("DP_Style")) session_register("DP_Style");
00046 if(!session_is_registered ("DP_StyleFname")) session_register("DP_StyleFname");
00047 if(!session_is_registered ("DP_GroupIds")) session_register("DP_GroupIds");
00048 if(!session_is_registered ("DP_Starttime") or !session_is_registered ("DP_Endtime")) {
00049 getStartEndTime($DP_UId , $DB);
00050 session_register("DP_Starttime");
00051 session_register("DP_Endtime");
00052 }
00053 if(!session_is_registered ("DP_Keywords")) {
00054 $DP_Keywords = "*";
00055 session_register("DP_Keywords");
00056 }
00057
00058
00059 if ($_REQUEST[S_Keywords])
00060 {
00061 $_SESSION[DP_Keywords] = $_REQUEST[S_Keywords];
00062 }
00063
00072 function getStartEndTime($DP_UId, $DB)
00073 {
00074 global $DP_Starttime,$DP_Endtime;
00075 $Result = $DB->getStartEnd( $DP_UId );
00076
00077 if ($Result != False)
00078 {
00079 $DP_Starttime = $Result[1];
00080 $DP_Endtime = $Result[2];
00081 }
00082 else
00083 {
00084 $DP_Starttime = "08:00:00";
00085 $DP_Endtime = "18:00:00";
00086 }
00087 }
00088 ?>