def get_pid(pid_filename=None):
return int(open(pid_filename or DEFAULT_PID_FILENAME).read(<NUM_LIT:16>))<EOL>
Return the integer PID for the current bp process, or raise an exception if
there is no such process or it hasn't registered a PID.