script to remove database lock files

sagemathinc · Oct 6, 2024 · 803629f · 803629f
1 parent ac0d388
commit 803629f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/package.json b/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",

diff --git a/src/scripts/database-remove-locks b/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