devel_backend.sh: stop backend if needed