comparison mercurial/phases.py @ 30620:937c52f06709

chg: start server at a unique address See the previous patch for motivation. Previously, the server is started at a globally shared address. This patch appends pid to the address so it becomes unique. Note: with Linux pid namespace, the address may be non-unique, but it does not affect correctness of chg - chg client will receive an redirection and that's it.
author Jun Wu <quark@fb.com>
date Mon, 19 Dec 2016 22:09:49 +0000
parents 3a2357c31d2a
children ad15646dc61c
comparison
equal deleted inserted replaced
30619:88efb4fb1975 30620:937c52f06709