[GitHub] incubator-wave pull request #24: Workaround WAVE-446

2017-05-03 Thread vega113
Github user vega113 commented on a diff in the pull request: https://github.com/apache/incubator-wave/pull/24#discussion_r114601665 --- Diff: wave/src/main/java/org/waveprotocol/box/server/frontend/WaveViewSubscription.java --- @@ -154,7 +155,15 @@ public synchronized void submitR

[GitHub] incubator-wave pull request #24: Workaround WAVE-446

2017-05-03 Thread vega113
Github user vega113 commented on a diff in the pull request: https://github.com/apache/incubator-wave/pull/24#discussion_r114613617 --- Diff: wave/src/main/java/org/waveprotocol/box/server/frontend/WaveViewSubscription.java --- @@ -154,7 +155,15 @@ public synchronized void submitR

[GitHub] incubator-wave pull request #24: Workaround WAVE-446

2017-05-03 Thread vega113
Github user vega113 commented on a diff in the pull request: https://github.com/apache/incubator-wave/pull/24#discussion_r114602007 --- Diff: wave/src/main/java/org/waveprotocol/box/server/frontend/WaveViewSubscription.java --- @@ -154,7 +155,15 @@ public synchronized void submitR

[GitHub] incubator-wave issue #24: Workaround WAVE-446

2017-05-03 Thread vjrj
Github user vjrj commented on the issue: https://github.com/apache/incubator-wave/pull/24 Thanks indeed Pablo for taking care of this important bug. --- If your project is set up for it, you can reply to this email and have your reply appear on GitHub as well. If your project does not