devtools/__init__.py
changeset 10038 f2f065d406dc
parent 9886 1b26289217a3
child 10063 335fa90d5ef4
--- a/devtools/__init__.py	Mon Nov 17 09:32:37 2014 +0100
+++ b/devtools/__init__.py	Mon Oct 06 10:34:38 2014 +0200
@@ -560,8 +560,12 @@
         env = os.environ.copy()
         env['PGPORT'] = str(port)
         env['PGHOST'] = str(directory)
+        options = '-h "" -k %s -p %s' % (directory, port)
+        options += ' -c fsync=off -c full_page_writes=off'
+        options += ' -c synchronous_commit=off'
         try:
-            subprocess.check_call(['pg_ctl', 'start', '-w', '-D', datadir, '-o', '-h "" -k %s -p %s' % (directory, port)],
+            subprocess.check_call(['pg_ctl', 'start', '-w', '-D', datadir,
+                                   '-o', options],
                                   env=env)
         except OSError, err:
             if err.errno == errno.ENOENT: