|
@@ -150,7 +150,7 @@ const connectionlost: JupyterFrontEndPlugin<IConnectionLost> = {
|
|
|
}
|
|
}
|
|
|
showingError = true;
|
|
showingError = true;
|
|
|
const result = await showDialog({
|
|
const result = await showDialog({
|
|
|
- title: trans.__('Server Not Running'),
|
|
|
|
|
|
|
+ title: trans.__('Server unavailable or unreachable'),
|
|
|
body: trans.__(
|
|
body: trans.__(
|
|
|
'Your server at %1 is not running.\nWould you like to restart it?',
|
|
'Your server at %1 is not running.\nWould you like to restart it?',
|
|
|
baseUrl
|
|
baseUrl
|
lacrosse91