cloud/commit
Rebuild datacloud also if the file is empty.
author | Jan Wielemaker |
---|---|
Fri Oct 7 13:04:43 2011 +0200 | |
committer | Jan Wielemaker |
Fri Oct 7 13:04:43 2011 +0200 | |
commit | 057d3fa3878b31e1c2b3afed074e00f15ca4ef29 |
tree | 445b6fd111d2e1b7195ba4a24628d3e3ef6f2814 |
parent | 74d6b0940b9e810703fae08a25d7e667aece3502 |
Diff style: patch stat
diff --git a/applications/app_cloud.pl b/applications/app_cloud.pl index 82b1731..a336b24 100644 --- a/applications/app_cloud.pl +++ b/applications/app_cloud.pl @@ -76,7 +76,9 @@ datacloud(Request) :- make_cloud(File, _) :- - access_file(File, read), !. + access_file(File, read), + size_file(File, Size), + Size > 0, !. make_cloud(File, Options) :- setup_call_cleanup(tmp_file_stream(utf8, TmpFile, Tmp), write_cloud_graph(Tmp, Options),