GNOME Bugzilla – Bug 640927
PHP Warnings on server-side search page
Last modified: 2012-11-18 11:10:55 UTC
Created attachment 179621 [details] [review] Fix for server-side search page warnings The server-side search page throws several "Undefined index" errors, due to the comparison that's used to see if an item was found earlier. Attached patch changes the if($docs[$key]) to if(isset($docs[$key])), which has the same result, but without the warnings. Alternatively, instead of isset, the empty() function could be used, I think.
Thanks, I'll include the patch in the next subversion update.
This bug was previously marked ASSIGNED, which means it should be fixed in doxygen version 1.7.4. Please verify if this is indeed the case. Reopen the bug if you think it is not fixed and please include any additional information that you think can be relevant.