Lines Matching full:admin
32 $ jack-admin install-server <launcher.jar> <server.jar>
39 Use `jack-admin start-server`.
61 `SERVER_PORT_ADMIN`: Server admin TCP port number. Needs to match the admin port number
73 Check `Admin` section to know how to install and administrate the Jack server.
99 `jack.server.admin.port=<port-number>`
100 Server admin TCP port number. Default is 8077. Needs to match the service port defined in
110 Server logs can be found by running `jack-admin server-log`. Default location is
115 ## Admin
117 The `jack-admin` bash script allows to install and administrate the Jack server.
120 `$ jack-admin help`
123 `$ jack-admin install-server jack-launcher.jar jack-server.jar`
126 `$ jack-admin uninstall-server`
130 `$ jack-admin list jack`
133 `$ jack-admin update jack jack.jar`
136 `$ jack-admin start-server`
139 `$ jack-admin stop-server`
142 `$ jack-admin kill-server`
145 `$ jack-admin list-server`
148 `$ jack-admin server-stat`
151 `$ jack-admin server-log`
154 `$ jack-admin dump-report`
162 If those new files do not exist, run `jack-admin start-server` and they will be created.
171 `jack.server.admin.port=YYYY` in `$HOME/.jack-server/config.properties`.
188 bug and attach the file produced by `jack-admin dump-report`.
209 - Stop the server using `jack-admin stop-server`, then:
211 `JACK_SERVER_VM_ARGUMENTS="-Xmx2g -Dfile.encoding=UTF-8 -XX:+TieredCompilation" jack-admin start-server`
223 - Attaching the file produced by `jack-admin dump-report`
236 `jack-admin dump-report`.
237 Then restart the server by issuing commands `jack-admin kill-server; jack-admin start-server`
