diff options
author | Daniel Friesel <derf@finalrewind.org> | 2011-11-19 19:55:37 +0100 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2011-11-19 20:31:25 +0100 |
commit | 523817239799733c15b900506ad57c5fc87c29de (patch) | |
tree | 8aa75cbeba4d828d2d5ccc99f6fc96d598d0ebbf /bin/efa-m | |
parent | c95333993e11598c36411bf432e5508d7e6fa1b7 (diff) |
sanitize platform number, add platform_db accessor
Diffstat (limited to 'bin/efa-m')
-rwxr-xr-x | bin/efa-m | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -105,17 +105,23 @@ if ( my $err = $status->errstr ) { for my $d ( $status->results ) { + my $platform = $d->platform; + + if ( $d->platform_db ) { + $platform .= ' (DB)'; + } + if ( ( @grep_lines and not( $d->line ~~ \@grep_lines ) ) or ( @grep_platforms - and not( substr( $d->platform, 6 ) ~~ \@grep_platforms ) ) + and not( $platform ~~ \@grep_platforms ) ) ) { next; } push( @output, - [ $d->time, $d->platform, $d->line, $d->destination, $d->info ] ); + [ $d->time, $platform, $d->line, $d->destination, $d->info ] ); } display_result(@output); |