annotation_service/commit

new gv_commit api

authorJacco van Ossenbruggen
Fri Jun 20 14:27:13 2014 +0200
committerJacco van Ossenbruggen
Fri Jun 20 14:27:13 2014 +0200
commit90a78ceb1390d1158237a4f6744c1a646c1afe44
tree19d93b97e6c873116de046ffd0cc445f2d10fe58
parentfac9f68ec2123d6c38ea0e9b79f211ec804dd972
Diff style: patch stat
diff --git a/api/annotation.pl b/api/annotation.pl
index cb28a24..7a3f1ce 100644
--- a/api/annotation.pl
+++ b/api/annotation.pl
@@ -166,7 +166,7 @@ http_get_annotation(Request) :-
 
 commit_when_needed(NamedGraph, User, Comment, Head) :-
 	(   setting(track, true)
-	->  gv_resource_commit(NamedGraph, User, Comment, Head)
+	->  gv_commit([NamedGraph], User, Comment, Head, [])
 	;   true
 	).