02-16-2017
02:50 AM
- Marcar como nuevo
- Favorito
- Suscribir
- Silenciar
- Suscribirse a un feed RSS
- Resaltar
- Imprimir
- Denunciar
02-16-2017
02:50 AM
Thank you both for your suggestions.
We did find significant time differences between the server and the clients, and we fixed that. We're confident that may have been part of the problem but since it wasn't reproducible, we can't be sure, so we're going to wait and see if another issue pops up.
I'll make sure to accept the answer then. No such issue has popped up so far.