#!/bin/bash
PORT=$1

if [ "$PORT" = "" ] ; then
  export PORT=7400
fi

nc localhost $PORT < /dev/null | (
  echo &
  while true; do 
    read PAGE || break
    TOKILL="$(ps --ppid $MANPID -o pid=)"
    kill $TOKILL > /dev/null
    echo displaying $PAGE
    man -P less -s 2:3:1p:9:1 $PAGE &
    MANPID=$!
    sleep 0.1
  done
  TOKILL="$(ps --ppid $MANPID -o pid=)"
  kill $TOKILL > /dev/null
) 2> /dev/null

exit 0