basic implementation of named-pipe server

2023-09-18 20:13:29 -07:00
parent 3d093a3a45
commit 1047818fdc
18 changed files with 464 additions and 519 deletions
--- a/doc/todo.md
+++ b/doc/todo.md
@ -16,3 +16,4 @@
    * Generalize Request across both credentials and terminal launch?
 * Make hotkey configuration a little more tolerant of slight mistiming
 * Distinguish between request that was denied and request that was canceled (e.g. due to error)
+* Use atomic types for primitive state values instead of RwLock'd types