 Giacomo Vercesi
|
e2504dd6f2
|
Implement storage credentials update
Add the functionality to rev.ng's infrastructure to allow to dynamically
update the credentials of the underlying storage provider at runtime.
|
2023-09-14 17:32:08 +02:00 |
|
|
Giacomo Vercesi
|
a84ebd0e51
|
revng.daemon: trim Eventmanager's functionality
Drop most of the functionality provided by EventManager. Add the
functionality that allows saving the working directory after a period of
inactivity.
|
2023-09-06 15:23:43 +02:00 |
|
|
Giacomo Vercesi
|
88e972c57c
|
revng fifo events: move handling to daemon
Move all the event handling logic to the `revng.daemon` logic, since
now fifo notifications also include the JWT token (if present) of the
request.
|
2023-02-07 16:54:35 +01:00 |
|