Update restbucksCRUD example to use "crypto" library rather than "eel".

Updated readme.md to add curl command to test the server.
2014-01-24 11:02:43 +01:00
parent d8487e6c12
commit 991389e9b9
4 changed files with 10 additions and 16 deletions
--- a/examples/restbucksCRUD/src/policy_driven_resource/order_handler.e
+++ b/examples/restbucksCRUD/src/policy_driven_resource/order_handler.e
@@ -227,8 +227,7 @@ feature -- Execution
 				end
 			end
 		ensure then
-			order_saved_only_for_get_head: req.is_get_head_request_method =
-				attached {ORDER} req.execution_variable (Order_execution_variable)
+			order_saved_only_for_get_head: attached {ORDER} req.execution_variable (Order_execution_variable) implies req.is_get_head_request_method
 		end

 feature -- GET/HEAD content