From 4358ced3a2bc2f79a6675ad4b8f56e81f5fa8e8b Mon Sep 17 00:00:00 2001
From: William Greathouse <git@the-greathouses.net>
Date: Thu, 5 Sep 2013 17:19:56 -0400
Subject: [PATCH] Update "document_root" to match new layout/naming.

---
 examples/websocket/websocket.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/websocket/websocket.c b/examples/websocket/websocket.c
index e398b224..c00179b9 100644
--- a/examples/websocket/websocket.c
+++ b/examples/websocket/websocket.c
@@ -32,7 +32,7 @@ int main(void)
     struct mg_callbacks callbacks;
     const char *options[] = {
         "listening_ports", "8080",
-        "document_root", "websocket_html_root",
+        "document_root", "docroot",
         NULL
     };