- Timestamp:
- Jul 30, 2010, 9:31:50 AM (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/eam_branches/ipp-20100621/ippMonitor/raw/ipp.php
r28439 r28794 273 273 } 274 274 275 function head ($title) { 276 echo "<head>\n"; 277 echo " <title> $title </title>\n"; 278 /* JavaScript code */ 279 echo " <script type=\"text/javascript\">\n"; 280 echo " function changeCell(cellId, newContent){\n"; 281 echo " document.getElementById(cellId).innerHTML=newContent;\n"; 282 echo " }\n"; 283 echo " </script>\n"; 284 echo "</head>\n\n"; 285 } 286 275 287 function menu ($source, $title, $sheet, $append, $project) { 276 288 277 echo "<html><head><title> $title </title></head>\n\n"; 289 echo "<html>\n"; 290 head($title); 278 291 echo "<link rel=\"STYLESHEET\" HREF=\"$sheet\">\n"; 279 292 echo "<body>\n"; … … 871 884 } 872 885 886 ////////////////////////////////////////////////////////////////////////// 887 // Extra filtering parameters array 888 $filteringParameters = array(); 889 890 // 891 // Delete temporary files if they are older than $expire_time minutes 892 // 893 function delete_old_tmp_files() { 894 global $DELETION_USER; // defined in raw/site.php.in 895 global $DELETION_DELAY; // defined in raw/site.php.in 896 exec("find /tmp -user $DELETION_USER -amin +$DELETION_DELAY", $output, $status); 897 foreach ($output as $key => $value) { 898 exec("rm -f $value"); 899 $count++; 900 } 901 } 902 873 903 ?>
Note:
See TracChangeset
for help on using the changeset viewer.
