Skip to content

Commit a2cc119

Browse files
GeertRoksbo3z
authored andcommitted
Add server stopping instructions for Example 10
1 parent b493577 commit a2cc119

1 file changed

Lines changed: 10 additions & 0 deletions

File tree

examples/10_app_reconfiguration/README.md

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -198,6 +198,16 @@ bin/test -o <0|1>
198198

199199
**NOTE:** This example assumes the server and client are on the same node. We are working on bringing back support for remote connections to the server.
200200

201+
When done with the experiment you will have to send a sigint signal to the server to stop it. Do this for example using:
202+
```bash
203+
pgrep -u $USER -l test
204+
kill -SIGINT <process id of server>
205+
```
206+
or even quicker:
207+
```bash
208+
pkill test
209+
```
210+
201211

202212
### Command line parameters
203213
- `[--size | -s] <int>` Vector size (default: 1024)

0 commit comments

Comments
 (0)