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

Remove synchrnized and persistent attributes.

Browse source 
Code that was used by them is still there.
This commit is contained in:
Johanna Amann 2019-05-02 13:02:38 -07:00
parent 5d44735209
commit 61c84a0a40
9 changed files with 4 additions and 90 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/scan.l
View file

@ -310,11 +310,6 @@ when return TOK_WHEN;
return TOK_ATTR_MERGEABLE;
}
&persistent {
deprecated_attr(yytext);
return TOK_ATTR_PERSISTENT;
}
&rotate_interval {
deprecated_attr(yytext);
return TOK_ATTR_ROTATE_INTERVAL;
@ -325,11 +320,6 @@ when return TOK_WHEN;
return TOK_ATTR_ROTATE_SIZE;
}
&synchronized {
deprecated_attr(yytext);
return TOK_ATTR_SYNCHRONIZED;
}
@deprecated.* {
auto num_files = file_stack.length();
auto comment = skip_whitespace(yytext + 11);