|
From: Melchior F. <mf...@ao...> - 2006-02-18 23:27:00
|
* Melchior FRANZ -- Sunday 19 February 2006 00:04:
> Better make that an int:
>
> int m = props.getIntValue("dump", -1);
> if (m >= 0)
> model->print(stderr, "", m);
And better make it go from 0 (off) to 5 (max detail):
int m = props.getIntValue("dump", 0);
if (m > 0)
model->print(stderr, "", m - 1);
m.
|