diff --git a/trlc/trlc.py b/trlc/trlc.py index 4798b03..c58db78 100644 --- a/trlc/trlc.py +++ b/trlc/trlc.py @@ -18,20 +18,20 @@ # You should have received a copy of the GNU General Public License # along with TRLC. If not, see . -import re -import os -import sys -import json import argparse +import json +import os +import re +import signal import subprocess +import sys from fractions import Fraction -from trlc import ast -from trlc import lint -from trlc.errors import TRLC_Error, Location, Message_Handler, Kind -from trlc.parser import Parser +from trlc import ast, lint +from trlc.errors import Kind, Location, Message_Handler, TRLC_Error from trlc.lexer import Token_Stream -from trlc.version import TRLC_VERSION, BUGS_URL +from trlc.parser import Parser +from trlc.version import BUGS_URL, TRLC_VERSION # pylint: disable=unused-import try: @@ -40,6 +40,9 @@ except ImportError: # pragma: no cover VCG_API_AVAILABLE = False +# Ignore SIGPIPE (Broken pipe) signal +signal.signal(signal.SIGPIPE, signal.SIG_DFL) + class Source_Manager: """Dependency and source manager for TRLC.