Goals:
- Display the server connection status in real time
- Update the UI within 10s when the server disconnects or reconnects
- Works when server is down during start-up, and comes alive later
- Works when the server dies and restarts after we have connected
- Works on all platforms
Currently only non-web platforms are supported, as some features are missing on the web implementation of the dart WebSocket client.
Dart has two separate implementations for a WebSocket client:
- dart:io: * Not supported on web. * This is the one we are using.
- dart:html: * ONLY supported on web. * Missing the
pingIntervaland construct from raw socket features.
This project is a starting point for a Flutter application.
A few resources to get you started if this is your first Flutter project:
For help getting started with Flutter, view our online documentation, which offers tutorials, samples, guidance on mobile development, and a full API reference.