Undefined index: href in mobile_jquery_links__node()

Complete error message:

Undefined index: href in mobile_jquery_links__node() (line 328 of ...foo .../themes/mobile_jquery/includes/modules/theme.inc)

The error occurs only for anonymous visitors

Fix it:

function mobile_jquery_links__node($vars) {
  $links = $vars['links'];
  $output = '<div data-role="controlgroup" data-type="horizontal">';
 
  foreach($links as $link => $value) {
    if(!isset($links[$link]['attributes'])) {
      $links[$link]['attributes'] = array();
    }
    if($link != 'comment_forbidden') {
      $links[$link]['attributes']['data-role'] = 'button';
      $links[$link]['attributes']['data-icon'] = $link;
    }
    // Fix it:
    if ($link == 'comment_forbidden') {
      $links['comment_forbidden']['href'] = '/user/login';
    }
 
    $output .= l($links[$link]['title'], $links[$link]['href'], array('attributes' => $links[$link]['attributes'], 'html' => TRUE));
  }
 
  $output .= '</div>';
 
  return $output;
}