From c36eca15c2f8d35005dd27571c22043b5bdac4ff Mon Sep 17 00:00:00 2001
From: Michal Budzynski <budziq@gmail.com>
Date: Sun, 6 Aug 2017 17:10:52 +0200
Subject: [PATCH] renamed `Playpen` to `Playground` in ajax error handling

---
 src/theme/book.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theme/book.js b/src/theme/book.js
index 33eed34d..12e72019 100644
--- a/src/theme/book.js
+++ b/src/theme/book.js
@@ -334,7 +334,7 @@ function run_rust_code(code_block) {
             result_block.text(response.result);
         },
         error: function(qXHR, textStatus, errorThrown){
-            result_block.text("Playpen communication " + textStatus);
+            result_block.text("Playground communication " + textStatus);
         },
     });
 }