vumix/commit

time of sessions

authorMichiel Hildebrand
Fri Mar 30 17:20:24 2012 +0200
committerMichiel Hildebrand
Fri Mar 30 17:20:24 2012 +0200
commit01cbb0025408821affea5bf62f481ddc07da35c4
tree617a02d54b4dd863caaa68b2799dcc5bbb808ab6
parent30ebb947153148281569d006b82ca4c16b48e681
Diff style: patch stat
diff --git a/lib/experiment.pl b/lib/experiment.pl
index a96f9b2..e1f6565 100644
--- a/lib/experiment.pl
+++ b/lib/experiment.pl
@@ -12,9 +12,10 @@
 time_table(User) :-
 	(   user_annotated_target(User, Target),
 	    rdf(Session, opmv:used, Target),
+	    rdf(Session, opmv:wasControlledBy, User),
 	    rdf(Session, opmv:wasStartedAt, literal(StartTime)),
 	    rdf(Session, opmv:wasEndedAt, literal(EndTime)),
-	    format('~w ~w ~n', [StartTime, EndTime]),
+	    format('~w ~w ~w ~n', [Target, StartTime, EndTime]),
 	    fail
 	;   true
 	).