| changeset 32649 | 2ee9017c7597 |
| parent 25859 | 3317bb8137f4 |
| 32648:1fa861caf840 | 32649:2ee9017c7597 |
|---|---|
1137 (oldZipSize - bestZipSize)); |
1137 (oldZipSize - bestZipSize)); |
1138 } |
1138 } |
1139 } |
1139 } |
1140 } |
1140 } |
1141 |
1141 |
1142 static private |
1142 private static |
1143 String pct(double num, double den) { |
1143 String pct(double num, double den) { |
1144 return (Math.round((num / den)*10000)/100.0)+"%"; |
1144 return (Math.round((num / den)*10000)/100.0)+"%"; |
1145 } |
1145 } |
1146 |
1146 |
1147 static |
1147 static |