tavendo/AutobahnAndroid — pull request #13 by zerodivisi0n (2012-07-16 12:30:11+00:00)
Title: Added auto-reconnect option

Reconnect interval is set by `setReconnectInterval(int reconnectInterval)` method of WebSocketOptions class. Interval specified in milliseconds. Default value is `0`, which means not to use of reconnection.
Added `onReconnect(int code, String reason)` method to `ConnectionHandler` interface.

Also added `ServerError` error class to handle server errors (status codes >= 300) and `CLOSE_SERVER_ERROR` close reason constant.