Merge pull request #3560 from travelperk/add-refresh-option

Add refresh option to disable cookies
This commit is contained in:
Thomas Kriechbaumer 2019-09-28 13:34:00 +02:00 committed by GitHub
commit 42d5da0123
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -78,6 +78,7 @@ def common_options(parser, opts):
opts.make_parser(group, "server_replay", metavar="PATH", short="S") opts.make_parser(group, "server_replay", metavar="PATH", short="S")
opts.make_parser(group, "server_replay_kill_extra") opts.make_parser(group, "server_replay_kill_extra")
opts.make_parser(group, "server_replay_nopop") opts.make_parser(group, "server_replay_nopop")
opts.make_parser(group, "server_replay_refresh")
# Replacements # Replacements
group = parser.add_argument_group("Replacements") group = parser.add_argument_group("Replacements")