Merge pull request #286 from agri-gaia/fix-server-startup

fix: vs code server startup config
agri-gaia · May 19, 2023 · 73e3c0d · 73e3c0d
2 parents 8f793c4 + 7d0c4a7
commit 73e3c0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/.vscode/launch.json b/.devcontainer/.vscode/launch.json
@@ -40,7 +40,7 @@
             "name": "seerep server",
             "type": "cppdbg",
             "request": "launch",
-            "program": "${workspaceFolder}/devel/bin/seerep-server_server",
+            "program": "${workspaceFolder}/devel/bin/seerep_server_server",
             "args": ["-c/seerep/src/seerep.cfg"],
             "stopAtEntry": false,
             "cwd": "${workspaceFolder}/seerep-data",