PHP-Erlang Mutex