##// END OF EJS Templates
Merge pull request #7552 from minrk/terminal-unavailable...
Min RK -
r20111:668d1ee3 merge
parent child Browse files
Show More
@@ -53,6 +53,10 b' data-terminals-available="{{terminals_available}}"'
53 53 <li role="presentation" id="new-terminal">
54 54 <a role="menuitem" tabindex="-1" href="#">Terminal</a>
55 55 </li>
56 {% else %}
57 <li role="presentation" id="new-terminal-disabled" class="disabled">
58 <a role="menuitem" tabindex="-1" href="#">Terminals Unavailable</a>
59 </li>
56 60 {% endif %}
57 61 <li role="presentation" class="divider"></li>
58 62 <li role="presentation" class="dropdown-header" id="notebook-kernels">Notebooks</li>
@@ -97,13 +101,15 b' data-terminals-available="{{terminals_available}}"'
97 101 </div>
98 102 <div id="collapseOne" class=" collapse in">
99 103 <div class="panel-body">
100 {% if terminals_available %}
101 <div id="terminal_list">
102 <div id="terminal_list_header" class="row list_header">
103 <div> There are no terminals running. </div>
104 </div>
105 </div>
104 <div id="terminal_list">
105 <div id="terminal_list_header" class="row list_header">
106 {% if terminals_available %}
107 <div> There are no terminals running. </div>
108 {% else %}
109 <div> Terminals are unavailable. </div>
106 110 {% endif %}
111 </div>
112 </div>
107 113 </div>
108 114 </div>
109 115 </div>
General Comments 0
You need to be logged in to leave comments. Login now