- if (defined($slice_id{$2})) {
- $id = $slice_id{$2};
- $sl = $2;
- } else {
- $id = $2;
- $sl = $slice{$2};
- }
- print sprintf("%s %s %s\n", $id, $sl, $pid);
- }
+ if (defined($slice_id{$2})) {
+ $id = $slice_id{$2};
+ $sl = $2;
+ } else {
+ $id = $2;
+ $sl = $slice{$2};
+ }
+ print sprintf("%s %s %s\n", $id, $sl, $pid);
+ }