aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/PscIde.js
diff options
context:
space:
mode:
authoreric <thul.eric@gmail.com>2017-01-09 15:48:12 -0500
committerGitHub <noreply@github.com>2017-01-09 15:48:12 -0500
commit941d65aeea0db19b86dc3a80fc58c1ce340965cf (patch)
tree0cf5d2972456f083ad887c9891b365dbd08d89b2 /src/PscIde.js
parent5f4d6751efdb215207e7ee87b424b14c4dc041d1 (diff)
parent4343e0eb79b0324d7f4c4eed081780faeaa836a0 (diff)
downloadpurs-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/PscIde.js')
-rw-r--r--src/PscIde.js9
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 })