equal
deleted
inserted
replaced
100 try { |
100 try { |
101 Integer old = streams.remove(streamid); |
101 Integer old = streams.remove(streamid); |
102 // Odd stream numbers (client streams) should have been registered. |
102 // Odd stream numbers (client streams) should have been registered. |
103 // Even stream numbers (server streams - aka Push Streams) should |
103 // Even stream numbers (server streams - aka Push Streams) should |
104 // not be registered |
104 // not be registered |
105 final boolean isClientStream = (streamid % 2) == 1; |
105 final boolean isClientStream = (streamid & 0x1) == 1; |
106 if (old == null && isClientStream) { |
106 if (old == null && isClientStream) { |
107 throw new InternalError("Expected entry for streamid: " + streamid); |
107 throw new InternalError("Expected entry for streamid: " + streamid); |
108 } else if (old != null && !isClientStream) { |
108 } else if (old != null && !isClientStream) { |
109 throw new InternalError("Unexpected entry for streamid: " + streamid); |
109 throw new InternalError("Unexpected entry for streamid: " + streamid); |
110 } |
110 } |