diff options
author | eric <thul.eric@gmail.com> | 2017-01-09 15:48:12 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-09 15:48:12 -0500 |
commit | 941d65aeea0db19b86dc3a80fc58c1ce340965cf (patch) | |
tree | 0cf5d2972456f083ad887c9891b365dbd08d89b2 /src | |
parent | 5f4d6751efdb215207e7ee87b424b14c4dc041d1 (diff) | |
parent | 4343e0eb79b0324d7f4c4eed081780faeaa836a0 (diff) | |
download | purs-loader-941d65aeea0db19b86dc3a80fc58c1ce340965cf.tar.gz purs-loader-941d65aeea0db19b86dc3a80fc58c1ce340965cf.tar.zst purs-loader-941d65aeea0db19b86dc3a80fc58c1ce340965cf.zip |
Merge pull request #80 from kozak/feature/psc-ide-server-args
Add psc-ide-server arguments and pass src to psc-ide-server
Diffstat (limited to 'src')
-rw-r--r-- | src/PscIde.js | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/PscIde.js b/src/PscIde.js index 27b49f6..8a0e823 100644 --- a/src/PscIde.js +++ b/src/PscIde.js | |||
@@ -61,13 +61,14 @@ function connect(psModule) { | |||
61 | ideClient.stdin.write('\n') | 61 | ideClient.stdin.write('\n') |
62 | }) | 62 | }) |
63 | 63 | ||
64 | const args = dargs(Object.assign({ | 64 | const serverArgs = dargs(Object.assign({ |
65 | outputDirectory: options.output, | 65 | outputDirectory: options.output, |
66 | }, options.pscIdeArgs)) | 66 | "_": options.src |
67 | }, options.pscIdeServerArgs)) | ||
67 | 68 | ||
68 | debug('attempting to start psc-ide-server', args) | 69 | debug('attempting to start psc-ide-server', serverArgs) |
69 | 70 | ||
70 | const ideServer = cache.ideServer = spawn('psc-ide-server', []) | 71 | const ideServer = cache.ideServer = spawn('psc-ide-server', serverArgs) |
71 | ideServer.stderr.on('data', data => { | 72 | ideServer.stderr.on('data', data => { |
72 | debug(data.toString()) | 73 | debug(data.toString()) |
73 | }) | 74 | }) |