actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #393 from budziq/playpen_errors 

handle play.rust-lang.org communication errors in playpens
This commit is contained in:
Mathieu David 2017-08-06 15:16:11 +02:00 committed by GitHub
parent 35a447d08a eed1a0a591
commit 798225bcdc
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/theme/book.js
View File

@ -329,8 +329,12 @@ function run_rust_code(code_block) {
dataType: "json", dataType: "json",
contentType: "application/json", contentType: "application/json",
data: JSON.stringify(params), data: JSON.stringify(params),
timeout: 15000,
success: function(response){ success: function(response){
result_block.text(response.result); result_block.text(response.result);
} },
error: function(qXHR, textStatus, errorThrown){
result_block.text("Playpen communication " + textStatus);
},
}); });
} }