# # # patch "usher.cc" # from [dad3c7f40eb143cc64f8ac661fb1d52ed19b060e] # to [4ed30076af3edf03fd8c284c14f81780fca81e7a] # ============================================================ --- usher.cc dad3c7f40eb143cc64f8ac661fb1d52ed19b060e +++ usher.cc 4ed30076af3edf03fd8c284c14f81780fca81e7a @@ -108,6 +108,7 @@ // defaults, overridden by command line int listenport = 4691; string listenaddr = "0.0.0.0"; +string monotone = "monotone"; // keep local servers around for this many seconds after the last // client disconnects from them (only accurate to ~10 seconds) @@ -697,7 +698,7 @@ if (i > 0 || port == 0) find_addr(addr, port); vector args; - args.push_back("monotone"); + args.push_back(monotone); args.push_back("serve"); args.push_back("--bind=" + addr + ":" + lexical_cast(port)); unsigned int n = 0, m = 0; @@ -1358,6 +1359,8 @@ admin.initialize(readtok(cf).s); } else if(tok.s == "listen") { h = start(readtok(cf).s); + } else if(tok.s == "monotone") { + monotone = readtok(cf).s; } }