equal
deleted
inserted
replaced
9 > graphlog= |
9 > graphlog= |
10 > EOF |
10 > EOF |
11 |
11 |
12 Setup HTTP server control: |
12 Setup HTTP server control: |
13 |
13 |
14 $ export remote=http://localhost:$HGPORT/ |
14 $ remote=http://localhost:$HGPORT/ |
|
15 $ export remote |
15 $ start() { |
16 $ start() { |
16 > echo '[web]' > $1/.hg/hgrc |
17 > echo '[web]' > $1/.hg/hgrc |
17 > echo 'push_ssl = false' >> $1/.hg/hgrc |
18 > echo 'push_ssl = false' >> $1/.hg/hgrc |
18 > echo 'allow_push = *' >> $1/.hg/hgrc |
19 > echo 'allow_push = *' >> $1/.hg/hgrc |
19 > hg serve -R $1 -p $HGPORT -d --pid-file=hg.pid -E errors.log |
20 > hg serve -R $1 -p $HGPORT -d --pid-file=hg.pid -E errors.log |