server using port 8011 rather than default 8000