Mercurial > urweb
comparison src/cjr_print.sml @ 433:659c17441250
Switch exit(1) call to uw_error()
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 27 Oct 2008 08:16:19 -0400 |
parents | 5de838fb0950 |
children | 1c27f03d9bd2 |
comparison
equal
deleted
inserted
replaced
432:5de838fb0950 | 433:659c17441250 |
---|---|
1843 string f, | 1843 string f, |
1844 string "input(ctx, ", | 1844 string "input(ctx, ", |
1845 string (Int.toString n), | 1845 string (Int.toString n), |
1846 string ");", | 1846 string ");", |
1847 newline, | 1847 newline, |
1848 string "if (request == NULL) {", | 1848 string "if (request == NULL)", |
1849 newline, | 1849 newline, |
1850 box [string "printf(\"Missing input ", | 1850 box [string "uw_error(ctx, FATAL, \"Missing input ", |
1851 string x, | 1851 string x, |
1852 string "\\n\");", | 1852 string "\");"], |
1853 newline, | |
1854 string "exit(1);"], | |
1855 newline, | |
1856 string "}", | |
1857 newline, | 1853 newline, |
1858 string "uw_input_", | 1854 string "uw_input_", |
1859 p_ident x, | 1855 p_ident x, |
1860 space, | 1856 space, |
1861 string "=", | 1857 string "=", |