diff --git a/miner.php b/miner.php
index b0e80030..9215a21e 100644
--- a/miner.php
+++ b/miner.php
@@ -2476,7 +2476,7 @@ function onlylogin()
 function checklogin()
 {
  global $allowcustompages, $customsummarypages;
- global $userlist, $ses;
+ global $readonly, $userlist, $ses;
 
  $out = trim(getparam('logout', true));
  if ($out !== null && $out !== '' && isset($_SESSION[$ses]))