summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-07-03 12:40:00 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-07-03 12:40:00 -0400
commit765c18f6f32d6e2123ac1aa1c4dcdd522b9faf48 (patch)
tree57875f0e93a279eeaac3f66eac6372405cdf4b60 /tests
parent3475f4aa1603ac5793243f6c2766d4cde6cdf6a1 (diff)
For non-debug builds, leave out source location info in what is shown to user
Diffstat (limited to 'tests')
-rw-r--r--tests/error.ur5
-rw-r--r--tests/error.urp5
2 files changed, 2 insertions, 8 deletions
diff --git a/tests/error.ur b/tests/error.ur
index e5586d8d..00c0105f 100644
--- a/tests/error.ur
+++ b/tests/error.ur
@@ -1,3 +1,2 @@
-fun main () : transaction page = return <html><body>
- <font size={error <body>I couldn't make up my <b>mind</b>!</body>}>Hello!</font>
-</body></html>
+fun main () : transaction page =
+ error <xml>I couldn't make up my <b>mind</b>!</xml>
diff --git a/tests/error.urp b/tests/error.urp
deleted file mode 100644
index d6579653..00000000
--- a/tests/error.urp
+++ /dev/null
@@ -1,5 +0,0 @@
-debug
-database dbname=test
-exe /tmp/webapp
-
-error