immanelg
immanelg
This is a [meme](https://www.reddit.com/r/github/comments/1at9br4/i_am_new_to_github_and_i_have_lots_to_say/?share_id=PgaydUZlRDobIywviJrnb&utm_content=1&utm_medium=android_app&utm_name=androidcss&utm_source=share&utm_term=1) you smelly nerd
On the latest commit it exits after logging an error instead of a panic. I don't know if a prompt worth it if you can just manually specify another port...
We can use port 0 by default (if -p is not specified) which tells the OS to find a free port I think.
So what should we do? Would the port defaulting to 0 be good? My *personal concern* is that I wouldn't want to have a lot of hanging server processes on...
1) If `window.close()` doesn't work, maybe give up and ditch that idea then? It wouldn't be worth it to spend big effort on this 2) It would be reasonable to...
It's implemented but disabled by default. * When any file in a directory changes, all clients reload * The entire HTML page is `window.location.reload()` ed * Needs to work correctly...
1) Syntax can be easily done with syntect, by mapping codeblocks in pulldown-cmark parser. 2) Math can be done on server side with [KaTeX](https://docs.rs/katex/latest/katex/) crate which uses embedded JS runtime....
syntax hl: #30