1
0
mirror of https://github.com/php/php-src.git synced 2026-04-27 01:48:26 +02:00

extend check for add_flag

This commit is contained in:
Anatol Belski
2016-03-01 09:35:00 +01:00
parent 08af2f9a11
commit bb80c00a00
+1 -1
View File
@@ -2156,7 +2156,7 @@ function ADD_FLAG(name, flags, target)
match can be done. This will also
help to normalize flags and to not
to insert duplicates. */
if (curr_flags.indexOf(" " + flags) >= 0) {
if (curr_flags.indexOf(" " + flags) >= 0 || curr_flags.indexOf(flags + " ") >= 0) {
return;
}