From c49d6b4f949f78b701cb31ce2ca6be5c7a7c4a4c Mon Sep 17 00:00:00 2001
From: Benoit Germain <bnt.germain@gmail.com>
Date: Mon, 20 May 2013 11:13:05 +0200
Subject: Added a sample snippet for set_finalizer()

---
 index.html | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 3bf000a..ede2d21 100644
--- a/index.html
+++ b/index.html
@@ -880,6 +880,23 @@
 	An error in a finalizer itself overrides the state of the regular chunk (in practise, it would be highly preferable <i>not</i> to have errors in finalizers). If one finalizer errors, the others may not get called.
 </p>
 
+<table border="1" bgcolor="#FFFFE0" cellpadding="10" style="width:50%"><tr><td><pre>
+	local lane_body = function()
+		set_finalizer( function( err, stk)
+			if err and type( err) ~= "userdata" then
+				-- no special error: true error
+				print( " error: "..tostring(err))
+			elseif type( err) == "userdata" then
+				-- lane cancellation is performed by throwing a special userdata as error
+				print( "after cancel")
+			else
+				-- no error: we just got finalized
+				print( "finalized")
+			end
+		end)
+	end
+</pre></td></tr></table>
+
 
 <!-- lindas +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -->
 <hr/>
-- 
cgit v1.2.3-55-g6feb