Commit graph

7 commits

Author SHA1 Message Date
Tom Wiesing
c19215068e
remote: Allow protocol input & cancellation
This commit reworks the protocol being used on top of websockets. It now
permits sending input to the server, and interrupting the remote
process.
2023-02-28 21:38:08 +01:00
Tom Wiesing
746ebcd9e3
socket: Explicitly communicate success
This commit updates the socket process to explicitly communicate the
process (and any potential error) on the server using a binary message.
2023-02-28 01:07:28 +01:00
Tom Wiesing
53f63d4efd
Add a form to provision a new instance 2023-02-27 11:12:22 +01:00
Tom Wiesing
80906d3791
Syntax highlight configuration 2023-02-26 20:10:25 +01:00
Tom Wiesing
b1009fa109
Add a logo 2023-02-10 12:01:06 +01:00
Tom Wiesing
d235ee4e5c
Refactor html templates
This commit entirely refactors the use of html templates. Instead of
inheriting from a shared template, we insert the results into a base
template.
2023-01-23 11:41:20 +01:00
Tom Wiesing
6ede99d7c6
Refactor server and templates package 2023-01-19 13:22:48 +01:00