From 30959446b17bea49d07d2ded62f3fc5b978be330 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 28 Aug 2011 17:16:54 -0400 Subject: Gentle handling of back-button returns to pages with stale message-passing credentials --- tests/goback.ur | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 tests/goback.ur (limited to 'tests/goback.ur') diff --git a/tests/goback.ur b/tests/goback.ur new file mode 100644 index 00000000..ef61a817 --- /dev/null +++ b/tests/goback.ur @@ -0,0 +1,20 @@ +table channels : { Channel : channel {} } + +fun get () = + ch <- channel; + dml (INSERT INTO channels (Channel) VALUES ({[ch]})); + return + Hi. + + +fun post () = + ch <- channel; + dml (INSERT INTO channels (Channel) VALUES ({[ch]})); + return + Hi! + + +fun main () = return +

Get

+ -- cgit v1.2.3