@@ -206,10 +206,10 @@ To check if the server is running, run:
ps -C omniNames -o pid,args
```
If the process is not running, delete omniNames related log and backup files in `/var/log`. They may have different names on your computer, but most likely, something like:
If the process is not running, delete omniNames related log and backup files in `/var/lib/omniorb`. They may have different names on your computer, but most likely, something like: