From e6582cd40dc225157ebd05c51a134ac5a6e289c7 Mon Sep 17 00:00:00 2001 From: Tomasz Rybarczyk Date: Sat, 5 Nov 2016 22:20:56 +0100 Subject: Add info about possibility to connect to existing `psc-ide-server` --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 4754ad5..410df93 100644 --- a/README.md +++ b/README.md @@ -75,3 +75,4 @@ Default options: Experimental support for instant rebuilds using `psc-ide-server` can be enabled via the `pscIde: true` option. +You can use already running `psc-ide-server` instance - just define its port in `pscIdeArgs`. -- cgit v1.2.3