app/django/db/backends/postgresql/client.py
changeset 54 03e267d67478
child 323 ff1a9aa48cfd
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/app/django/db/backends/postgresql/client.py	Fri Jul 18 18:22:23 2008 +0000
@@ -0,0 +1,15 @@
+from django.conf import settings
+import os
+
+def runshell():
+    args = ['psql']
+    if settings.DATABASE_USER:
+        args += ["-U", settings.DATABASE_USER]
+    if settings.DATABASE_PASSWORD:
+        args += ["-W"]
+    if settings.DATABASE_HOST:
+        args.extend(["-h", settings.DATABASE_HOST])
+    if settings.DATABASE_PORT:
+        args.extend(["-p", str(settings.DATABASE_PORT)])
+    args += [settings.DATABASE_NAME]
+    os.execvp('psql', args)