fix(web-server): implement a timeout on webServer.close()

[sylvain-hamel]

Closes #952

[dignifiedquire]

Looks good to me, but for some reason you have two commits with the same messages.

[sylvain-hamel]

I'm sorry about that. These two commits should be squashed. I fixed some spacing in the second commit. Do I have do squash them now or will you squash them when you'll merge the PR?

[dignifiedquire]

Better squash them yourself, so you can be certain it did what you intended. Easiest way is
git rebase -i HEAD~2 and then in the editor choose pick for the first and fixup for the second commit. After that just do a force push to this branch and all should be good.

[sylvain-hamel]

Done. Thanks for the help on how to do this.

[dignifiedquire]

👍

[sylvain-hamel]

@dignifiedquire does your "thumbs up" mean "go ahead, merge it"?

[dignifiedquire]

@sylvain-hamel yes