Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-09 10:08:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Merge remote branch 'origin/master' into topic/policy-scripts-new

Browse source
This commit is contained in:
Seth Hall 2011-06-03 07:38:28 -04:00
commit fbf207deda
19 changed files with 192 additions and 105 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/scan.l
View file

@ -557,7 +557,7 @@ static int load_files_with_prefix(const char* orig_file)
else
strcpy(new_filename, file);
f = search_for_file(new_filename, "bro", &full_filename);
f = search_for_file(new_filename, "bro", &full_filename, true);
delete [] new_filename;
}