diff -r 000000000000 -r 67e1cc6cd929 inst-resources/postgresqlutil.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/inst-resources/postgresqlutil.php	Wed May 27 01:05:23 2009 -0400
@@ -0,0 +1,31 @@
+<?php
+
+// PostgreSQL utility script.
+
+if ( $argc < 2 )
+  die("Usage: {$argv[0]} username password");
+
+$user = addslashes($argv[1]);
+$pass = addslashes($argv[2]);
+$handle = pg_connect("host=localhost port=5432 user='$user' password='$pass'");
+if ( !$handle )
+{
+  echo "PostgreSQL authentication failed.";
+  exit(1);
+}
+
+if ( !empty($argv[3]) )
+{
+  $queries = explode(';', $argv[3]);
+  foreach ( $queries as $query )
+  {
+    $query = trim($query);
+    if ( empty($query) )
+      continue;
+    echo "$query;\n";
+    if ( !pg_query("$query;") )
+      exit(1);
+  }
+}
+
+exit(0);