metrics: replace is_user_defined() by is_standard()
authorAlexandre Terrasa <alexandre@moz-code.org>
Tue, 25 Feb 2014 05:05:38 +0000 (00:05 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Fri, 28 Feb 2014 18:35:16 +0000 (13:35 -0500)
commitcb194fa15b4cdecb71973ddbe03e5a464b6331b5
treedc8ff458e287ba15e31c80c6a8c02b3790439de6
parentff500e08e70c1d037de11fea1088570c2716fdf0
metrics: replace is_user_defined() by is_standard()

also fix the @FIXME

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/metrics/metrics_base.nit
src/metrics/rta_metrics.nit