Searched refs:PORT (Results 1 – 1 of 1) sorted by relevance
8 PORT=808016 PHP builtin server manager on port $PORT22 …rt Starts PHP built-in web server server on specified hostname:port, default is localhost:$PORT72 PORT=${hostport[1]}110 printf "${GREEN}"$NAME" started on $HOST:$PORT${NORMAL}\n"112 php -S "$HOST":"$PORT" -c tests/php.ini >> "$LOGFILE" 2>&1 &114 echo "$HOST":"$PORT":$! > $PIDFILE122 IFS=: read HOST PORT PID <<< "$PIDFILECONTENT:"143 printf "${BLUE}"$NAME" is running on ${HOST}:${PORT}${NORMAL}\n"
Completed in 5 milliseconds