skip some ext in wasi mode

Author: pmp-p

extra/pg_ivm.sh

@@ -1,7 +1,14 @@
 #!/bin/bash
 
+
 . wasm-build/extension.sh
 
+if $WASI
+then
+    echo "wasi not supported for pg_ivm"
+    exit 0
+fi
+
 pushd $PG_EXTRA
     if [ -d pg_ivm ]
     then

pglite-REL_17_4_WASM/pg_main.c

@@ -396,11 +396,6 @@ __attribute__ ((export_name("pgl_backend")))
 #endif
     setenv("PGUSER", PGUSER, 1);
 
-PDEBUG("--------- setting configuration ---------------------");
-	if (!SelectConfigFiles(userDoption, "postgres"))
-        puts("config error");
-    else
-        PDEBUG("cfg ok");
 
 
     AsyncPostgresSingleUserMain(single_argc, single_argv, PGUSER, async_restart);

pglite-REL_17_4_WASM/pgl_mains.c

@@ -274,6 +274,8 @@ PDEBUG("# 254:"__FILE__);
 PDEBUG("# 257:"__FILE__);
 // if (!async_restart)	/* Parse command-line options. */
 	process_postgres_switches(argc, argv, PGC_POSTMASTER, &dbname);
+
+
 PDEBUG("# 260:"__FILE__);
 	/* Must have gotten a database name, or have a default (the username) */
 	if (dbname == NULL)
@@ -286,13 +288,13 @@ PDEBUG("# 260:"__FILE__);
 							progname)));
 	}
 
-if (async_restart) goto async_db_change;
 PDEBUG("# 273:SelectConfigFiles "__FILE__);
 	/* Acquire configuration parameters */
 	if (!SelectConfigFiles(userDoption, progname)) {
         proc_exit(1);
     }
 PDEBUG("# 278:SelectConfigFiles "__FILE__);
+if (async_restart) goto async_db_change;
 	checkDataDir();
 	ChangeToDataDir();