upstream/ipython Files · IPython/html/templates/terminal.html

Backport PR : Catch interrupted poll() in terminal console...

Backport PR : Catch interrupted poll() in terminal console Alternative to my own PR - catch ZMQError in run_cell, and if it's caused by an interrupt, ignore it. catches the exception in the blocking kernel client API, which is more complex, especially if we want to handle the timeout nicely as proposed in the comments, but it's possibly also more convenient for other users of that API. Or perhaps not - I'm not sure what makes sense for other API consumers in this case. Fixes gh-8105

Jason Grout - - Load All Authors

File last commit:

r19841:217be004


                r20883:0d9a347c

Download file

             terminal.html
        
                    64 lines
            
             | 1.2 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / html / templates / terminal.html
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      {% extends "page.html" %}

      {% block title %}{{page_title}}{% endblock %}

      {% block bodyclasses %}terminal-app {{super()}}{% endblock %}

      {% block params %}

      data-base-url="{{base_url}}"

      data-ws-path="{{ws_path}}"

      {% endblock %}

      {% block stylesheet %}

      {{super()}}

      <link rel="stylesheet" href="{{ static_url("terminal/css/override.css") }}" type="text/css" />

      {% endblock %}

      {% block site %}

      <div id="terminado-container" class="container"></div>

      {% endblock %}

      {% block script %}

      <!-- Hack: this needs to be outside the display:none block, so we can measure

           its size in JS in setting up the page. It is still invisible. Putting in

           the script block gets it outside the initially undisplayed region. -->

      <!-- test size: 25x80 -->

      <div style='position:absolute; left:-1000em'>

      <pre id="dummy-screen" style="border: solid 5px white;" class="terminal">0

      1

      2

      3

      4

      5

      6

      7

      8

      9

      0

      1

      2

      3

      4

      5

      6

      7

      8

      9

      0

      1

      2

      3

      <span id="dummy-screen-rows" style="">01234567890123456789012345678901234567890123456789012345678901234567890123456789</span>

      </pre>

      </div>

          {{super()}}

      <script src="{{ static_url("terminal/js/main.js") }}" type="text/javascript" charset="utf-8"></script>

      {% endblock %}

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				{% extends "page.html" %}

				{% block title %}{{page_title}}{% endblock %}

				{% block bodyclasses %}terminal-app {{super()}}{% endblock %}

				{% block params %}

				data-base-url="{{base_url}}"
				data-ws-path="{{ws_path}}"

				{% endblock %}

				{% block stylesheet %}
				{{super()}}

				<link rel="stylesheet" href="{{ static_url("terminal/css/override.css") }}" type="text/css" />
				{% endblock %}

				{% block site %}

				<div id="terminado-container" class="container"></div>

				{% endblock %}

				{% block script %}

				<!-- Hack: this needs to be outside the display:none block, so we can measure
				its size in JS in setting up the page. It is still invisible. Putting in
				the script block gets it outside the initially undisplayed region. -->
				<!-- test size: 25x80 -->
				<div style='position:absolute; left:-1000em'>
				<pre id="dummy-screen" style="border: solid 5px white;" class="terminal">0
				1
				2
				3
				4
				5
				6
				7
				8
				9
				0
				1
				2
				3
				4
				5
				6
				7
				8
				9
				0
				1
				2
				3
				<span id="dummy-screen-rows" style="">01234567890123456789012345678901234567890123456789012345678901234567890123456789</span>
				</pre>
				</div>

				{{super()}}

				<script src="{{ static_url("terminal/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
				{% endblock %}