Skip to content

Commit

Permalink
Use more standard notation for bytes
Browse files Browse the repository at this point in the history
Technically there should also be a space representing multiplication,
but that does not look so good (and we're not using them for the timings
anyway).
  • Loading branch information
xrchz committed Nov 14, 2017
1 parent 54bab65 commit f2d6f44
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions serverLib.sml
Original file line number Diff line number Diff line change
Expand Up @@ -662,10 +662,10 @@ in
String.concat [" ", i2s ss, "s"],
" ",
if G > 0 then
i3s G "Gb"
i3s G "GB"
else if M > 0 then
i3s M "Mb" else
i3s K "Kb"]
i3s M "MB" else
i3s K "kB"]
end handle Subscript => raise Option

fun process_message s =
Expand Down

0 comments on commit f2d6f44

Please sign in to comment.