[hcoop/portal.git] / listaddrs / listaddrs.sml

structure Main = struct

structure C = PgClient

fun main _ =
    let
	val db = C.conn "dbname='hcoop_hcoop' host='postgres'"

	fun printOne [name] = print (C.stringFromSql name ^ "@hcoop.net\n")
    in
	C.app db printOne "SELECT name FROM WebUser";
	C.close db;
	OS.Process.success
    end
end
Commit	Line	Data
1d2cae17 AC	1	structure Main = struct
	2
	3	structure C = PgClient
	4
	5	fun main _ =
	6	let
52a07965	7	val db = C.conn "dbname='hcoop_hcoop' host='postgres'"
1d2cae17 AC	8
	9	fun printOne [name] = print (C.stringFromSql name ^ "@hcoop.net\n")
	10	in
	11	C.app db printOne "SELECT name FROM WebUser";
	12	C.close db;
	13	OS.Process.success
	14	end
	15	end