diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/ingen.py | 3 | ||||
| -rwxr-xr-x | scripts/ingenish | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/scripts/ingen.py b/scripts/ingen.py index 6401fe35..12f52e92 100644 --- a/scripts/ingen.py +++ b/scripts/ingen.py @@ -16,6 +16,7 @@ import os import rdflib +import re import socket import sys @@ -100,7 +101,7 @@ class Remote(Interface): self.sock = socket.socket(socket.AF_UNIX, socket.SOCK_STREAM) self.sock.connect(uri[len('unix://'):]) elif uri.startswith('tcp://'): - self.sock = Socket(socket.AF_INET, socket.SOCK_STREAM) + self.sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM) parsed = re.split('[:/]', uri[len('tcp://'):]) addr = (parsed[0], int(parsed[1])) self.sock.connect(addr) diff --git a/scripts/ingenish b/scripts/ingenish index 8021d9ac..bc7d821a 100755 --- a/scripts/ingenish +++ b/scripts/ingenish @@ -104,7 +104,7 @@ if len(sys.argv) - a == 0: print('error: %s' % sys.exc_info()[1]) else: try: - update = run(sys.argv[1:]) + update = run(sys.argv[a:]) if update: print(update.serialize(format='n3')) except: |