git://git.onelab.eu
/
unfold.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ccbd6e9
)
Default port returned to 80
author
Yasin
<mohammed-yasin.rahman@lip6.fr>
Wed, 12 Feb 2014 13:37:08 +0000
(14:37 +0100)
committer
Yasin
<mohammed-yasin.rahman@lip6.fr>
Wed, 12 Feb 2014 13:37:08 +0000
(14:37 +0100)
devel/server-loop.sh
patch
|
blob
|
history
diff --git
a/devel/server-loop.sh
b/devel/server-loop.sh
index
1d94e8e
..
c77258f
100755
(executable)
--- a/
devel/server-loop.sh
+++ b/
devel/server-loop.sh
@@
-3,7
+3,8
@@
DIRNAME=$(dirname $0)
cd $DIRNAME/..
# default port : if hostname starts with z -> use 8080 ; otherwise take 80
-hostname | grep -q '^z' && port=8080 || port=8080
+#hostname | grep -q '^z' && port=8080 || port=8080
+hostname | grep -q '^z' && port=8080 || port=80
[[ -n "$@" ]] && port=$1
while true; do