• Dries's avatar
    · 6ddeae9f
    Dries authored
    - Bugfix: fixed problem with "exit" hook not always being called.  Reported
      by Jeremy.  Patch by Moshe.
    6ddeae9f
common.inc 31.7 KB