From d8b98012154b42cca7abf4c31fa3731975f1e6bd Mon Sep 17 00:00:00 2001
From: Tim Hinrichs <thinrichs@vmware.com>
Date: Tue, 11 Feb 2014 13:01:16 -0800
Subject: [PATCH] Tweaks to private_public demo

- Typo fixed
- Added missing .enforce file

Change-Id: I95a4d36b5d9edfa01ce8ef976206e33e616dfa49
---
 examples/private_public_network.enforce | 11 +++++++++++
 examples/private_public_network.script  |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 examples/private_public_network.enforce

diff --git a/examples/private_public_network.enforce b/examples/private_public_network.enforce
new file mode 100644
index 000000000..d40c9f7f5
--- /dev/null
+++ b/examples/private_public_network.enforce
@@ -0,0 +1,11 @@
+
+// Enforcement policy
+
+disconnect_network(vm, network) :-
+  error(vm),
+  nova:virtual_machine(vm),
+  nova:network(vm, network),
+  not neutron:public_network(network),
+  neutron:owner(network, network_owner),
+  nova:owner(vm, vm_owner),
+  not same_group(network_owner, vm_owner)
diff --git a/examples/private_public_network.script b/examples/private_public_network.script
index 094500d0d..3dd725856 100644
--- a/examples/private_public_network.script
+++ b/examples/private_public_network.script
@@ -27,7 +27,7 @@ error(vm) :- nova:virtual_machine(vm), nova:network(vm, network),
 same-group(user1, user2) :- cms:group(user1, group), cms:group(user2, group)
 
 --- Commands ------------------------------------
-cd congress/src/policy
+cd congress/congress/policy
 
 PYTHONPATH=../../thirdparty python
 >>> import runtime