From d8a9f3307573bb0352018bea9c9bbe2af195247b Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Date: Thu, 23 Mar 2023 17:50:29 +0100 Subject: [PATCH] Add .obs suffix in doc of thread streams --- doc/user/runtime/trace_spec.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/user/runtime/trace_spec.md b/doc/user/runtime/trace_spec.md index c7daf4e..745dcb2 100644 --- a/doc/user/runtime/trace_spec.md +++ b/doc/user/runtime/trace_spec.md @@ -20,7 +20,7 @@ specified in the `pid` argument to `ovni_proc_init()`. Each process directory contains: - The metadata file `metadata.json`. -- The thread streams with prefix `thread.`. +- The thread streams like `thread.123.obs`. ## Process metadata