dns

I see. I use it to lookup and filter specific entries/keywords in a log file, which is still being written to, in real time. Works quite magically together with ```--tiebreak=-index```.

Is there anything preventing this to merge? It would be cool to see it merged soon.

Looks like I am having the same problem. One worker crashes multiple times daily with about 1000 connected users. I am willing to run custom debug code, if that helps....

I've also noticed that `subscribers` and `channels` in `nchan_stub_status` keeps growing over time. It looks like many subscribers are not cleared on disconnect - perhaps related.

Still having this problem with 0.13 (compiled for arm / raspberry pi) but it works on macOS. Output of -dbg=8 ``` 2016/11/17 03:13:46 starting 10 Google Public DNS client(s) querying...

Despite the sleep/wake problem (which can be solved by switching the resolution manually one time after each boot), I am pretty happy with it. With one-key-hidpi I am able to...

It is possible to set the size of the viewport by using ``` $.config.width = 1920 $.config.height = 1080 ``` Currently it is not possible to change the user agent,...