This is a web server for HAL