Convert more redef-able constants to runtime options

This commit is contained in:
Daniel Thayer 2018-08-24 16:05:44 -05:00
parent 4912513517
commit 01a899255e
36 changed files with 72 additions and 72 deletions

View file

@ -18,7 +18,7 @@ module Conn;
export {
## The prefix given to files containing extracted connections as they
## are opened on disk.
const extraction_prefix = "contents" &redef;
option extraction_prefix = "contents";
## If this variable is set to ``T``, then all contents of all
## connections will be extracted.