Fix rust playground execute API

2018-07-30 18:37:45 -05:00 · 2018-07-30 18:37:45 -05:00 · d054140117
parent 028c8b0f75
commit d054140117
1 changed files with 2 additions and 1 deletions
--- a/src/theme/book.js
+++ b/src/theme/book.js
@ -101,7 +101,8 @@ function playpen_text(playpen) {
            crateType: "bin",
            tests: false,
            code: text,
-        }
+            backtrace: false,
+        };

        if (text.indexOf("#![feature") !== -1) {
            params.channel = "nightly";