  }
  
  static void
-@@ -4647,16 +4675,35 @@
+@@ -4647,16 +4681,35 @@
  	while (ctx->stop_flag != 2)
  		(void) sleep(1);
  

 	close_all_listening_sockets(ctx);
 	assert(ctx->num_listeners == 0);
 
@@ -3751,7 +3771,15 @@
 		}
 	}
 

+}
+// END BROWSERPLUS PATCH
diff -PNaur mongoose.orig/mongoose.h mongoose/mongoose.h
--- mongoose.orig/mongoose.h	2009-05-30 10:57:30.000000000 -0700
+++ mongoose/mongoose.h	2010-01-22 08:49:47.437500000 -0800
@@ -65,23 +65,55 @@
 		const struct mg_request_info *info, void *user_data);
 
