From d0541401172f0f17fe7fd088db09c21ae2e59a64 Mon Sep 17 00:00:00 2001 From: Matt Ickstadt Date: Mon, 30 Jul 2018 18:37:45 -0500 Subject: [PATCH] Fix rust playground execute API --- src/theme/book.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/theme/book.js b/src/theme/book.js index aea7eda7..afbf23fe 100644 --- 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";