| Index: tools/gen-postmortem-metadata.py
|
| diff --git a/tools/gen-postmortem-metadata.py b/tools/gen-postmortem-metadata.py
|
| index 1f2c4e7cbed7a5352efc41b9df5c9937d3ee3d61..4b56a4baebb432329a17dcb70caa9624210ed9db 100644
|
| --- a/tools/gen-postmortem-metadata.py
|
| +++ b/tools/gen-postmortem-metadata.py
|
| @@ -319,7 +319,7 @@ def load_objects():
|
| in_insttype = False;
|
| continue;
|
|
|
| - line = re.sub('//.*', '', line.rstrip().lstrip());
|
| + line = re.sub('//.*', '', line.strip());
|
|
|
| if (in_insttype):
|
| typestr += line;
|
| @@ -329,10 +329,10 @@ def load_objects():
|
| line);
|
|
|
| if (match):
|
| - klass = match.group(1).rstrip().lstrip();
|
| + klass = match.group(1).strip();
|
| pklass = match.group(3);
|
| if (pklass):
|
| - pklass = pklass.rstrip().lstrip();
|
| + pklass = pklass.strip();
|
| klasses[klass] = { 'parent': pklass };
|
|
|
| #
|
|
|