comparison src/cjr_print.sml @ 1164:8679ba87cf3c

sigfile directive
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 09:10:01 -0500
parents 01b6c7144a44
children 69f1d39d3f2d
comparison
equal deleted inserted replaced
1163:6c507826fae9 1164:8679ba87cf3c
2803 file = "urweb.h"}), 2803 file = "urweb.h"}),
2804 string "\"", 2804 string "\"",
2805 newline, 2805 newline,
2806 newline, 2806 newline,
2807 2807
2808 #code (Settings.currentProtocol ()) (),
2809
2808 if hasDb then 2810 if hasDb then
2809 #init (Settings.currentDbms ()) {dbstring = !dbstring, 2811 #init (Settings.currentDbms ()) {dbstring = !dbstring,
2810 prepared = !prepped, 2812 prepared = !prepped,
2811 tables = !tables, 2813 tables = !tables,
2812 views = !views, 2814 views = !views,