1.1 --- a/conf/dstest_exec.cfg Fri Mar 17 18:34:18 2023 +0100
1.2 +++ b/conf/dstest_exec.cfg Fri Mar 17 22:43:44 2023 +0100
1.3 @@ -9,6 +9,7 @@
1.4 l:startv({
1.5 caps = {
1.6 pipeserver = pipe_server:svr(),
1.7 + jdb = L4.Env.jdb, -- to set the server name
1.8 },
1.9 log = { "pipes", "r" },
1.10 },
1.11 @@ -19,6 +20,7 @@
1.12 l:startv({
1.13 caps = {
1.14 fsserver = block_server:svr(),
1.15 + jdb = L4.Env.jdb, -- to set the server name
1.16 },
1.17 log = { "blocks", "r" },
1.18 },
1.19 @@ -31,6 +33,7 @@
1.20 blockserver = block_server,
1.21 pipeserver = pipe_server,
1.22 fsserver = ext2server:svr(),
1.23 + jdb = L4.Env.jdb, -- to set the server name
1.24 },
1.25 log = { "ext2", "y" },
1.26 },
1.27 @@ -47,6 +50,7 @@
1.28 caps = {
1.29 fsserver = ext2server_paulb,
1.30 prserver = process_server:svr(),
1.31 + jdb = L4.Env.jdb, -- to set the server name
1.32 },
1.33 log = { "process", "y" },
1.34 },