From 90d6483a54745b4b647b429c018dd49d0797459c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 17:29:03 -0400 Subject: Noisy demo --- demo/prose | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'demo/prose') diff --git a/demo/prose b/demo/prose index 57722a81..11f8c2d9 100644 --- a/demo/prose +++ b/demo/prose @@ -210,6 +210,10 @@ increment.urp

Here's an example where client-side code needs to run more code on the server. We maintain a (server-side) SQL sequence. When the user clicks a button, an AJAX request increments the remote sequence and gets the new value.

+noisy.urp + +

This example shows how easy it is to make the flow of control "ping pong" back and forth between the client and the server. Clicking a button triggers three queries to the server, with an alert generated after each query.

+ batch.urp

This example shows more of what is possible with mixed client/server code. The application is an editor for a simple database table, where additions of new rows can be batched in the client, before a button is clicked to trigger a mass addition.

-- cgit v1.2.3