tree 9c8ff9fcdd700ba3e120e746a822cc288c8520c8
parent 4565879d999fa6267b2ce3d23877b3fa637a5c72
author Guillaume Nodet <gnodet@gmail.com> 1522168478 +0200
committer Guillaume Nodet <gnodet@gmail.com> 1522168779 +0200

[KARAF-5681] Infinite loop when the client session is killed while using the editor