Change glassfish port

Glassfish memakai port berikut:

admin: 4848

http: 8080

https: 8181

Ada suatu keanehan ketika glassfish ingin dijalankan, start-domain berjalan lama. Ketika ditelusuri, ternyata port 8080 telah dipakai oleh seafile. Jadi harus diganti.

Konfigurasi domain dari glassfish ada di glassfish4/glassfish/domains/domain1/config . Buka menggunakan text editor, dan search 8080, kemudian ganti menjadi port yang diinginkan.