Merge pull request #500 from Vulcalien/restart-command

BugFix: terminal won't restart if there is no custom command
This commit is contained in:
Matt Rose 2021-08-30 20:02:13 -04:00 committed by GitHub
commit 0548341806
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 4 deletions

View File

@ -1461,7 +1461,7 @@ class Terminal(Gtk.VBox):
self.is_held_open = True self.is_held_open = True
self.titlebar.update() self.titlebar.update()
def spawn_child(self, init_command=None, widget=None, respawn=False, debugserver=False): def spawn_child(self, widget=None, respawn=False, debugserver=False, init_command=None):
args = [] args = []
shell = None shell = None
command = init_command command = init_command
@ -1492,6 +1492,7 @@ class Terminal(Gtk.VBox):
command = self.layout_command command = self.layout_command
elif debugserver is True: elif debugserver is True:
details = self.terminator.debug_address details = self.terminator.debug_address
if details is not None:
dbg('spawning debug session with: %s:%s' % (details[0], dbg('spawning debug session with: %s:%s' % (details[0],
details[1])) details[1]))
command = 'telnet %s %s' % (details[0], details[1]) command = 'telnet %s %s' % (details[0], details[1])