ajax.php
changeset 264 e17cc42d77cf
parent 263 16d0c9f33466
child 285 e72bf2c24875
equal deleted inserted replaced
263:16d0c9f33466 264:e17cc42d77cf
   102       $page->password = $password;
   102       $page->password = $password;
   103       if ( $src = $page->fetch_source() )
   103       if ( $src = $page->fetch_source() )
   104       {
   104       {
   105         echo $src;
   105         echo $src;
   106       }
   106       }
       
   107       else if ( $src !== false )
       
   108       {
       
   109         echo '';
       
   110       }
   107       else
   111       else
   108       {
   112       {
   109         echo 'err_access_denied';
   113         echo 'err_access_denied';
   110       }
   114       }
   111       break;
   115       break;