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

Some small layout tweaks that didn't get committed with the last merge.

Browse source
This commit is contained in:
Robin Sommer 2011-07-22 13:35:29 -07:00
parent eb1e76600c
commit 1a46d78584
4 changed files with 38 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/main.cc
View file

@ -962,7 +962,9 @@ int main(int argc, char** argv)
// Queue events reporting loaded scripts.
for ( std::list<ScannedFile>::iterator i = files_scanned.begin(); i != files_scanned.end(); i++ )
{
if ( i->skipped ) continue;
if ( i->skipped )
continue;
val_list* vl = new val_list;
vl->append(new StringVal(i->name.c_str()));
vl->append(new Val(i->include_level, TYPE_COUNT));