|
|
@ -165,7 +165,8 @@ serve_index(){ |
|
|
|
rline=$(echo "$line" | tr -d '\r') |
|
|
|
rline=$(echo "$line" | tr -d '\r') |
|
|
|
case "$rline" in |
|
|
|
case "$rline" in |
|
|
|
'['*) |
|
|
|
'['*) |
|
|
|
line=$(echo "$rline" | sed -r -e 's/\[//g;s/\]//g;s/\|/ /g;s/ / /;') |
|
|
|
line=$(echo "$rline" | sed -r -e 's/^\[//;s/\]$//;s/\|/ /g;s/ / /;') |
|
|
|
|
|
|
|
line=$(echo "$line" | sed -r -e "s/server port/$HOSTNAME $PORT/") |
|
|
|
;; |
|
|
|
;; |
|
|
|
t*) |
|
|
|
t*) |
|
|
|
line=$(echo "$rline" | cut -b 2-) |
|
|
|
line=$(echo "$rline" | cut -b 2-) |
|
|
|