Mark Friedrich c77e3dd484 - removed requirement for ZMQ PHP extension and replaced the Socket stuff with native PHP code

2019-05-01 02:00:31 +02:00

..

Formatter

- fixed PHP notice "Undefined index"

2018-04-08 16:20:34 +02:00

Handler

- added log file write ability

2017-10-08 00:15:16 +02:00

MapUpdate.php

- removed requirement for ZMQ PHP extension and replaced the Socket stuff with native PHP code

2019-05-01 02:00:31 +02:00