BugFix: terminal won't restart if there is no custom command
This commit is contained in:
parent
a7fcf27b11
commit
672e6fb4c8
|
@ -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,9 +1492,10 @@ 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
|
||||||
dbg('spawning debug session with: %s:%s' % (details[0],
|
if details is not None:
|
||||||
details[1]))
|
dbg('spawning debug session with: %s:%s' % (details[0],
|
||||||
command = 'telnet %s %s' % (details[0], details[1])
|
details[1]))
|
||||||
|
command = 'telnet %s %s' % (details[0], details[1])
|
||||||
|
|
||||||
# working directory set in layout config
|
# working directory set in layout config
|
||||||
if self.directory:
|
if self.directory:
|
||||||
|
|
Loading…
Reference in New Issue