From adcd7ed76a35e21c08fe149c8531873fe0fa9c5b Mon Sep 17 00:00:00 2001
From: Kano <root@mutsumi.paige>
Date: Tue, 21 Aug 2012 19:27:12 +1000
Subject: [PATCH] miner.php allow page title to be defined in myminer.php

---
 miner.php | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/miner.php b/miner.php
index eace29d2..52d2d14d 100644
--- a/miner.php
+++ b/miner.php
@@ -1,7 +1,7 @@
 <?php
 session_start();
 #
-global $miner, $port, $readonly, $notify, $rigs;
+global $title, $miner, $port, $readonly, $notify, $rigs;
 global $rigtotals, $forcerigtotals;
 global $socksndtimeoutsec, $sockrcvtimeoutsec;
 global $checklastshare, $poolinputs, $hidefields;
@@ -13,6 +13,9 @@ global $colouroverride, $placebuttons;
 # See API-README for more details of these variables and how
 # to configure miner.php
 #
+# Web page title
+$title = 'Mine';
+#
 # Set $readonly to true to force miner.php to be readonly
 # Set $readonly to false then it will check cgminer 'privileged'
 $readonly = false;
@@ -185,7 +188,7 @@ function getdom($domname)
 #
 function htmlhead($checkapi, $rig, $pg = null)
 {
- global $miner_font_family, $miner_font_size;
+ global $title, $miner_font_family, $miner_font_size;
  global $error, $readonly, $poolinputs, $here;
  global $ignorerefresh, $autorefresh;
 
@@ -216,7 +219,7 @@ function htmlhead($checkapi, $rig, $pg = null)
  $miner_font = "font-family:$miner_font_family; font-size:$miner_font_size;";
 
  echo "<html><head>$refreshmeta
-<title>Mine</title>
+<title>$title</title>
 <style type='text/css'>
 td { $miner_font ".getcss('td')."}
 td.two { $miner_font ".getcss('td.two')."}
