| Log Message: |
HEAD merge: closes bug #475. original commit message:
make sure this problem number exists in the hash before returning. If it
doesn't, return undef. We check "pfn$n" since the path to the problem
file is the essence of the problem, and if this doesn't exist, the
problem might as well not exist.
|