dbp/cookie_sig.ur

## cookie_sig.ur
fun main () =
  return
      <xml><body><a href={url (edit 1)}>edit</a></body></xml>
and edit id =
  return <xml>
    <body>
      {form id post}
    </body>
  </xml>
and post r =
    if r.Continue then
        redirect (url (edit (readError r.Id)))
    else
        redirect (url (main ()))
and form id target =
    <xml>
      <form>
        <hidden{#Id} value={show id}/>
        Continue Editing <checkbox{#Continue} checked={True}/><br/>
        <submit action={target} value="Save"/>
      </form>
    </xml>

## cookie_sig.urp

cookie_sig

## cookie_sig.urs
val main : unit -> transaction page
	fun main () =
	return
	<xml><body><a href={url (edit 1)}>edit</a></body></xml>
	and edit id =
	return <xml>
	<body>
	{form id post}
	</body>
	</xml>
	and post r =
	if r.Continue then
	redirect (url (edit (readError r.Id)))
	else
	redirect (url (main ()))
	and form id target =
	<xml>
	<form>
	<hidden{#Id} value={show id}/>
	Continue Editing <checkbox{#Continue} checked={True}/><br/>
	<submit action={target} value="Save"/>
	</form>
	</xml>