script to remove database lock files

Author: williamstein

src/package.json

@@ -12,6 +12,7 @@
     "static": "cd packages/static && npm run webpack",
     "psql": "export PGHOST=${PGHOST:=$INIT_CWD/data/postgres/socket}; PGUSER='smc' psql",
     "database": "cd dev/project && ./start_postgres.py",
+    "database-remove-locks": "./scripts/database-remove-locks",
     "c": "LOGS=/tmp/ DEBUG='cocalc:*' ./scripts/c",
     "version-check": "pip3 install typing_extensions mypy  || pip3 install --break-system-packages typing_extensions mypy && ./workspaces.py version-check && mypy scripts/check_npm_packages.py",
     "test-parallel": "unset DEBUG && pnpm run version-check && cd packages && pnpm run -r --parallel test",

src/scripts/database-remove-locks

@@ -0,0 +1,5 @@
+set -ev
+
+rm -vf data/postgres/*.pid
+rm -vf data/postgres/socket/.s.PGSQL.5432
+rm -vf data/postgres/socket/.s.PGSQL.5432.lock