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

Rename bro to zeek in error messages

Browse source 
More renaming in error messages and a few other places.
This commit is contained in:
Daniel Thayer 2019-06-16 23:06:21 -05:00
parent e2dc0092f3
commit 0ae1bfa29d
11 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/DebugCmdInfoConstants.cc
View file

@ -35,7 +35,7 @@ void init_global_dbg_constants () {
"quit"
};
info = new DebugCmdInfo (dcQuit, names, 1, false, "Exit Bro",
info = new DebugCmdInfo (dcQuit, names, 1, false, "Exit Zeek",
false);
g_DebugCmdInfos.push_back(info);
}