From 7d0c4a735715dc001559417e592eac26291952f1 Mon Sep 17 00:00:00 2001
From: Julian Arkenau <arkenaujulian@gmail.com>
Date: Fri, 19 May 2023 17:26:34 +0200
Subject: [PATCH] fix: vs code server startup config

---
 .devcontainer/.vscode/launch.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/.vscode/launch.json b/.devcontainer/.vscode/launch.json
index 95c285322..f5e280ccc 100644
--- 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",