# # # patch "install-config.dist" # from [e1a9148a6b7bc4b18659141630bf1db052e6cac9] # to [71dd7e4c18da7b1579afb5db0874127606bc925f] # # patch "usher.cc" # from [26b4efedf05795ec674114086ff65e94248eb8ae] # to [9367f60b8bf64175270edd426aaaa9afe92dbb48] # ============================================================ --- install-config.dist e1a9148a6b7bc4b18659141630bf1db052e6cac9 +++ install-config.dist 71dd7e4c18da7b1579afb5db0874127606bc925f @@ -14,6 +14,6 @@ GRAPHDIR=/var/cache/$NAME/graphs WWWDIR=/var/www/$NAME BINDIR=/usr/bin -MONOTONE=/usr/bin/monotone +MONOTONE=/usr/bin/mtn HOSTNAME=$(hostname) ============================================================ --- usher.cc 26b4efedf05795ec674114086ff65e94248eb8ae +++ usher.cc 9367f60b8bf64175270edd426aaaa9afe92dbb48 @@ -107,7 +107,7 @@ // defaults, overridden by command line int listenport = 4691; string listenaddr = "0.0.0.0"; -string monotone = "monotone"; +string monotone = "mtn"; // keep local servers around for this many seconds after the last // client disconnects from them (only accurate to ~10 seconds)