diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2018-10-23 12:49:24 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2018-10-23 12:49:24 +0200 |
| commit | e6a069119b2a4721808c7ad39c58a85ea094dfd3 (patch) | |
| tree | 15d179b957a81aa4fa1f62d65778f5210e2772ae /platform | |
| parent | bafcde805ce82ae8dfbd0aec6659b2e4fca163de (diff) | |
Add missing EMWSServer::poll function.
Empty of course as server is not supported in HTML5, but the symbol must
be defined.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions