After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 640927 - PHP Warnings on server-side search page
PHP Warnings on server-side search page
Status: RESOLVED FIXED
Product: doxygen
Classification: Other
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Dimitri van Heesch
Dimitri van Heesch
Depends on:
Blocks:
 
 
Reported: 2011-01-30 01:30 UTC by Haffmans
Modified: 2012-11-18 11:10 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Fix for server-side search page warnings (890 bytes, patch)
2011-01-30 01:30 UTC, Haffmans 		none Details | Review

Description Haffmans 2011-01-30 01:30:49 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.
Comment 1 Dimitri van Heesch 2011-01-30 19:22:51 UTC 
Thanks, I'll include the patch in the next subversion update.
Comment 2 Dimitri van Heesch 2011-03-28 14:18:50 UTC 
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.