Lines Matching full:admin
31 Use jack-admin start-server.
50 SERVER_PORT_ADMIN: Server admin TCP port number. Needs to match the
51 admin port number defined in $HOME/.jack-server/config.properties on the
63 Check Admin section to know how to install and administrate the Jack
92 jack.server.admin.port=<port-number>
93 Server admin TCP port number. Default is 8077. Needs to match the
102 Server logs can be found by running jack-admin server-log. Default
105 Admin
108 The jack-admin bash script allows to install and administrate the Jack
111 $ jack-admin help
114 $ jack-admin install-server jack-launcher.jar jack-server.jar
117 $ jack-admin uninstall-server
120 $ jack-admin list jack
123 $ jack-admin update jack jack.jar
126 $ jack-admin start-server
129 $ jack-admin stop-server
132 $ jack-admin kill-server
136 $ jack-admin list-server
139 $ jack-admin server-stat
142 $ jack-admin server-log
145 $ jack-admin dump-report
154 run jack-admin start-server and they will be created. If you had custom
163 jack.server.admin.port=YYYY in $HOME/.jack-server/config.properties.
182 jack-admin dump-report.
204 - Stop the server using jack-admin stop-server, then:
206 JACK_SERVER_VM_ARGUMENTS="-Xmx2g -Dfile.encoding=UTF-8 -XX:+TieredCompilation" jack-admin start-server
219 - Attaching the file produced by jack-admin dump-report
231 produced by jack-admin dump-report.
233 jack-admin kill-server; jack-admin start-server
