private WebServer()
{
// Hook up TeX renderer in here
this.UrlRequested += new UrlRequestedHandler(MimeTeX.WebServer_UrlRequested);
listener = new TcpListener(IPAddress.Loopback, 0);
listener.Start();
port = ((IPEndPoint)listener.LocalEndpoint).Port;
Thread t = new Thread(ProcessRequests);
threads.Add(t);
t.Start();
}