diff --git a/ftplugin/fsi.py b/ftplugin/fsi.py index 05db717..98b976b 100644 --- a/ftplugin/fsi.py +++ b/ftplugin/fsi.py @@ -18,7 +18,10 @@ def __init__(self, fsi_path, is_debug = False): #self.logfiledir = tempfile.gettempdir() + "/log.txt" #self.logfile = open(self.logfiledir, "w") id = 'vim-' + str(uuid.uuid4()) - command = [fsi_path, '--fsi-server:%s' % id, '--nologo'] + if " " in fsi_path.strip(): + command = fsi_path.split() + ['--fsi-server:%s' % id, '--nologo'] + else: + command = [fsi_path, '--fsi-server:%s' % id, '--nologo'] opts = { 'stdin': PIPE, 'stdout': PIPE, 'stderr': PIPE, 'shell': False, 'universal_newlines': True } hidewin.addopt(opts)