Utilities/BackgroundService.py

changeset 4997
6dfb9119c85b
parent 4631
5c1a96925da4
child 5389
9b1c800daff3
equal deleted inserted replaced
4996:f20cbd676cdd 4997:6dfb9119c85b
409 409
410 res = E5MessageBox.yesNo( 410 res = E5MessageBox.yesNo(
411 None, 411 None,
412 self.tr('Background client disconnected.'), 412 self.tr('Background client disconnected.'),
413 self.tr( 413 self.tr(
414 'The background client for <b>{0}</b> disconnect because' 414 'The background client for <b>{0}</b> disconnected because'
415 ' of an unknown reason.<br>Should it be restarted?' 415 ' of an unknown reason.<br>Should it be restarted?'
416 ).format(lang), 416 ).format(lang),
417 yesDefault=True) 417 yesDefault=True)
418 if res: 418 if res:
419 self.restartService(lang) 419 self.restartService(lang)

eric ide

mercurial