jack-server 多用户编译问题

3），需要同时修改 $HOME/.jack-server/config.properties 中的端口号，方才有效，可以在别的用户启动了jack server的情况再启动另一个jack server，这样就可以实现多用户同时编译，亲测有效：

#Tue Sep 13 17:44:41 CST 2016

jack.server.max-jars-size=104857600

jack.server.max-service=4

jack.server.service.port=8076

jack.server.max-service.by-mem=1\=2147483648\:2\=3221225472\:3\=4294967296

jack.server.admin.port=8077

jack.server.config.version=2

jack.server.time-out=7200      (修改上面红色这2行，比如改为8086，8087等)


总结一下解决方案就是：

同时修改$HOME/.jack-settings和$HOME/.jack-server/config.properties中的端口号（比如都改为8086/8087），方可支持多用户同时编译。