diff options
| author | Teddy Wing | 2021-02-03 20:21:03 +0100 |
|---|---|---|
| committer | Teddy Wing | 2021-02-03 20:21:03 +0100 |
| commit | 074b4375a54e4bbf4539d37b1418eacb2a70f87a (patch) | |
| tree | dd8f6eab2cf96188fc95ec92ff35249cfee654f6 /l/TODO | |
| parent | b5c2f3a6ed194245e9c584f25b28d8f7c8f90218 (diff) | |
| download | extreload-074b4375a54e4bbf4539d37b1418eacb2a70f87a.tar.bz2 | |
main: Get WebSocket URL from command line for `*client*`
Keep the `*client*` global variable, but use the client in `config`,
constructed from the WebSocket URL passed from the command line.
Not a huge fan of the global variable, but it's way easier to keep it
like this rather than passing the client down to the `attach-to-target`
and `reload-extension` functions.
Diffstat (limited to 'l/TODO')
0 files changed, 0 insertions, 0 deletions