diff mod_vjud/mod_vjud.lua @ 2625:8c6562f16496

mod_cloud_notify: Fixed error in push deduplication Make handling of node ids and push_identifiers more error resilient. Also add some better debug output.
author tmolitor <thilo@eightysoft.de>
date Sat, 18 Mar 2017 00:20:04 +0100
parents a90c7d7e7413
children 5dffb85e62c4
line wrap: on
line diff