amalgame/commit

FIXED: avoid division by zero if Total == 0

author	Jacco van Ossenbruggen
	Sun Mar 29 15:52:16 2020 +0200
committer	Jacco van Ossenbruggen
	Sun Mar 29 15:52:16 2020 +0200
commit	fac6a893bbdde563097dabc3518e1bc248b75408
tree	6a6de8b8bbda995e4a3efbcbb4592bd8304ad4d6
parent	aae2527bbfa7cc7c533b8264ec88ed6381db33bb

Diff style: patch stat

diff --git a/api/node_info.pl b/api/node_info.pl
index 7771ea6..ca75d9e 100644
--- a/api/node_info.pl
+++ b/api/node_info.pl
@@ -222,7 +222,8 @@ amalgame_info(Scheme, Strategy, Stats) :-
 	option(totalCount(Total), NStats, 0),
 	option(virtual(V), NStats),
 
-	(   option(formats(Formats), NStats),
+	(   Total>0,
+	    option(formats(Formats), NStats),
 	    option(totalLabelCount(TotalLabelCount), NStats, 0)
 	->  ExtraStats = [
 		'formats:'   - Formats,