From a43e8435ab48d58f22e7aef146cd59da56b40a13 Mon Sep 17 00:00:00 2001 From: Nils Bruin Date: Mon, 7 May 2018 08:03:42 -0700 Subject: [PATCH] small fixes --- magma_kernel/kernel.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/magma_kernel/kernel.py b/magma_kernel/kernel.py index 9064a8a..088ad77 100644 --- a/magma_kernel/kernel.py +++ b/magma_kernel/kernel.py @@ -15,7 +15,7 @@ class MagmaKernel(Kernel): implementation_version = __version__ language_info = {'name': 'magma', - 'codemirror_mode': 'python', + 'codemirror_mode': 'magma', 'mimetype': 'text/x-magma', 'file_extension': '.m'} @@ -125,11 +125,13 @@ class MagmaKernel(Kernel): stream_content = {'name': 'stdout', 'text': C.before[j:]} self.send_response(self.iopub_socket, 'stream', stream_content) j=len(C.before) + counter=10 + timeout=1 if v==0: break counter-=1 if counter<=0: - timeout=min(300,2*counter) + timeout=min(300,2*timeout) counter=10 output=C.before[j:] except KeyboardInterrupt: