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
00038 session_start();
00039
00040 if(!$HTTP_SESSION_VARS[modul_name]) {
00041 $modul_name = "DP_ILIAS" ;
00042 session_register("modul_name");
00043 }
00044
00045 if(!session_is_registered ("DP_UId")) session_register("DP_UId");
00046 if(!session_is_registered ("DP_Lang")) session_register("DP_Lang");
00047 if(!session_is_registered ("DP_Skin")) session_register("DP_Skin");
00048 if(!session_is_registered ("DP_Style")) session_register("DP_Style");
00049 if(!session_is_registered ("DP_StyleFname")) session_register("DP_StyleFname");
00050 if(!session_is_registered ("DP_GroupIds")) session_register("DP_GroupIds");
00051 if(!session_is_registered ("DP_Starttime") or !session_is_registered ("DP_Endtime")) {
00052 getStartEndTime($DP_UId , $DB);
00053 session_register("DP_Starttime");
00054 session_register("DP_Endtime");
00055 }
00056 if(!session_is_registered ("DP_Keywords")) {
00057 $DP_Keywords = "*";
00058 session_register("DP_Keywords");
00059 }
00060
00061
00062 if ($_REQUEST[S_Keywords])
00063 {
00064 $_SESSION[DP_Keywords] = $_REQUEST[S_Keywords];
00065 }
00066
00075 function getStartEndTime($DP_UId, $DB)
00076 {
00077 global $DP_Starttime,$DP_Endtime;
00078 $Result = $DB->getStartEnd( $DP_UId );
00079
00080 if ($Result != False)
00081 {
00082 $DP_Starttime = $Result[1];
00083 $DP_Endtime = $Result[2];
00084 }
00085 else
00086 {
00087 $DP_Starttime = "08:00:00";
00088 $DP_Endtime = "18:00:00";
00089 }
00090 }
00091 ?>