autoload/splicelib/util/io.py @ e73227e8f1f9

Fix the splice_leader/prefix setting.

import sys


def error(m):
    sys.stderr.write(str(m) + '\n')