git://git.onelab.eu
/
unfold.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
make exposure of metadata explicit rather than automatic - not all views require...
[unfold.git]
/
devel
/
server-loop.sh
diff --git
a/devel/server-loop.sh
b/devel/server-loop.sh
index
e75ec32
..
9c9d727
100755
(executable)
--- a/
devel/server-loop.sh
+++ b/
devel/server-loop.sh
@@
-1,6
+1,6
@@
#!/bin/bash
DIRNAME=$(dirname $0)
-cd $DIRNAME
+cd $DIRNAME
/..
# default port : if hostname starts with z -> use 8080 ; otherwise take 80
hostname | grep -q '^z' && port=8080 || port=80