diff options
| author | Irina Gómez <irinagomez@us.es> | 2020-11-09 09:59:06 +0100 |
|---|---|---|
| committer | Irina Gómez <irinagomez@us.es> | 2020-11-09 09:59:06 +0100 |
| commit | c2bd1e963b35f70eb76a1b3cb28bf61b4429d317 (patch) | |
| tree | b73ae19c9b61e36af3e3644c22e93ac9009d0bca /server/bin/checkperms | |
| parent | 15d8a191bcb1e9dcf961d9073e7c8153653e6b6e (diff) | |
#988 Fix opengnsys startup script.
The port value for 'faucet' is fixed, it does not depend on the ogserver configuration. Required for multicast transfer.
Diffstat (limited to 'server/bin/checkperms')
0 files changed, 0 insertions, 0 deletions