[jdee-devel] patch for jde-help.el
Brought to you by:
paullandes
From: Daniel F. <da...@ag...> - 2009-07-17 23:08:08
|
small patch to fix jde-help-class: Index: jde/lisp/jde-help.el =================================================================== --- jde/lisp/jde-help.el (revision 90) +++ jde/lisp/jde-help.el (working copy) @@ -210,7 +210,7 @@ (if (eq system-type 'windows-nt) "wget.exe" "wget")) (if (not (string-match - "200" + "200 OK" (shell-command-to-string (concat "wget --spider " (if jde-help-wget-tries @@ -500,7 +500,7 @@ (not (url-file-exists jde-jdk-doc-url))) (and (executable-find (if (eq system-type 'windows-nt) "wget.exe" "wget")) - (not (string-match "200" + (not (string-match "200 OK" (shell-command-to-string (concat "wget --spider " (if jde-help-wget-tries |