Skip to content
Snippets Groups Projects
Commit 44570293 authored by Joseph Mirabel's avatar Joseph Mirabel
Browse files

Update README.md

parent e7d4eab9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ 44570293
...@@ -201,7 +201,7 @@ gepetto-gui offers the possibility to develop plugins in python. To do so, you m ...@@ -201,7 +201,7 @@ gepetto-gui offers the possibility to develop plugins in python. To do so, you m
It very often happens that the OmniNames server failed to start properly at boot. It very often happens that the OmniNames server failed to start properly at boot.
To check is the server is running, run: To check if the server is running, run:
```bash ```bash
ps -C omniNames -o pid,args ps -C omniNames -o pid,args
``` ```
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment