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

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

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

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

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

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

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

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