ProgEx-GoTftpServer: reformat