Extend delete invocation REST endpoint to support different termination modes#998

Merged

tillrohrmann merged 7 commits intorestatedev:mainfrom tillrohrmann:issues/996

Dec 19, 2023

+1,415-683

Commits on Dec 18, 2023

Let JournalTable::get_journal return journal index
tillrohrmann
committed
Introduce graceful cancellation of invocations
tillrohrmann
committed
Only handle completions if invocation_uuids are matching
tillrohrmann
committed
Split tests module from command_interpreter.rs into dedicated file
tillrohrmann
committed
Add From<InvocationError> for CompletionResult
tillrohrmann
committed
Propagate InvocationTermination from REST endpoint to server
tillrohrmann
committed
Extend delete invocation REST endpoint to support different termination modes
tillrohrmann
committed