bjoern 5f365b259b tweak connectivity html (#2549) ...

* escape strings added to html

* use more common emojis for connectivity report

all emojis are from 2010 and older now.
an alternative would have been to use css,
however, that may have other issues
and as the whole report is subject to change anyway,
i go for the easy solution.

* use 'modern' meta pattern, remove unused div and styles

* use css instead emojis; looks better that way

also, we have the same look on all systems.

* add connectivity command to repl tool

2021-07-21 23:02:09 +02:00

..

repl

tweak connectivity html (#2549)

2021-07-21 23:02:09 +02:00

simple.rs

Connectivity view (instead of spamming the user with error_network when sth fails) (#2319)

2021-07-08 22:50:11 +02:00