Demo server does not work in git worktrees

[vbgl]

The shell scripts in the demo/ directory to start and stop the server behave differently whether there is a .git directory in the current working directory.

I would expect that these scripts behave the same when they are called from the “main working tree” (in which .git is a directory) or from a “linked working tree” (in which .git is a plain file). However, running make build-debug-server && ./demo/run-server.sh works fine from the root of the main worktree but fails within a linked worktree: “BELENIOS_CONFIG must be set!”

[glondu]

It should work now.

[vbgl]

Thanks. I guess the same patch should be applied to demo/stop-server.sh.

[glondu]

Right. Done.