inc/header.php

   1 <?php
   2
   3   /////////////////////////////////////////////////////////
   4   // Work out our page title
   5   /////////////////////////////////////////////////////////
   6   if ( !isset($page_title) || $page_title == "" ) {
   7     $current_track = current_track();
   8     if ( is_object($current_track) ) {
   9       $page_title = "$current_track->title : $current_track->album : $current_track->artist  ";
  10       $refresh_time = ( $current_track->finishing - time() ) + 5;
  11     }
  12   }
  13
  14   if ( isset($action) ) daemon_other_command($action,$track);
  15
  16
  17   if ( !isset($stylesheet) ) $stylesheet = "adorno.css";
  18   echo <<<DOCHEADER
  19 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Strict//EN" "http://www.w3.org/TR/html4/DTD/html4-strict.dtd">
  20 <html>
  21 <head>
  22 <title>$page_title</title>
  23 <link rel="stylesheet" type="text/css" href="$stylesheet" />
  24 </head>
  25
  26 DOCHEADER;
  27
  28 include("menu.php");