From 4eb49268122b6d395f4e00cb279bb24ea91d4352 Mon Sep 17 00:00:00 2001 From: MinRK Date: Wed, 12 Oct 2011 14:29:22 -0700 Subject: [PATCH] use ROUTER/DEALER sockets for stdin stdin requests are now directed to the frontend that made the execution request that called raw_input. allow_stdin flag added to execution_request to indicate whether stdin_requests are allowed. StdInNotImplementedError exception class added to IPython.core.error, and is raised if raw_input is called from execute requests where allow_input is undefined. closes gh-673 --- IPython/frontend/html/notebook/static/js/kernel.js | 1 + 1 file changed, 1 insertion(+) diff --git a/IPython/frontend/html/notebook/static/js/kernel.js b/IPython/frontend/html/notebook/static/js/kernel.js index 137d59c27..54af58b36 100644 --- a/IPython/frontend/html/notebook/static/js/kernel.js +++ b/IPython/frontend/html/notebook/static/js/kernel.js @@ -121,6 +121,7 @@ var IPython = (function (IPython) { silent : false, user_variables : [], user_expressions : {} + allow_stdin : false, }; var msg = this.get_msg("execute_request", content); this.shell_channel.send(JSON.stringify(msg));