diff options
| -rw-r--r-- | support/gennetfilter.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/gennetfilter.py b/support/gennetfilter.py index 7c9a85c7d..0912eb757 100644 --- a/support/gennetfilter.py +++ b/support/gennetfilter.py @@ -9,7 +9,7 @@ import sys,getopt,re -NETPORT = re.compile("^network_port\(\s*\w+\s*(\s*,\s*\w+\s*,\s*\w+\s*,\s*\w+\s*)+\s*\)\s*(#|$)") +NETPORT = re.compile(r"^network_port\(\s*\w+\s*(\s*,\s*\w+\s*,\s*\w+\s*,\s*\w+\s*)+\s*\)\s*(#|$)") DEFAULT_INPUT_PACKET = "server_packet_t" DEFAULT_OUTPUT_PACKET = "client_packet_t" @@ -101,7 +101,7 @@ def parse_corenet(file_name): # parse out the parameters openparen = corenet_line.find('(')+1 closeparen = corenet_line.find(')',openparen) - parms = re.split('\W+',corenet_line[openparen:closeparen]) + parms = re.split(r'\W+',corenet_line[openparen:closeparen]) name = parms[0] del parms[0] |