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.