parameters: (self, file_key)
docstring: Decrements the number of submitted jobs for the specified key file,
          defined as the original file we processed; once the count is back to 0,
          remove the entry from our record.
docstring_summary: Decrements the number of submitted jobs for the specified key file,
          defined as the original file we processed; once the count is back to 0,
          remove the entry from our record.
docstring_tokens: Decrements the number of submitted jobs for the specified key file defined as the original file we processed ; once the count is back to 0 remove the entry from our record .
function: def JobFinished(self, file_key):
          """Decrements the number of submitted jobs for the specified key file,
          defined as the original file we processed; once the count is back to 0,
          remove the entry from our record."""
          with Dumper.jobs_condition:
              self.jobs_record[file_key] -= 1
  
              if self.jobs_record[file_key] == 0:
                  del self.jobs_record[file_key]
  
              Dumper.jobs_condition.notify_all()
function_tokens: def JobFinished ( self , file_key ) : with Dumper . jobs_condition : self . jobs_record [ file_key ] -= 1 if self . jobs_record [ file_key ] == 0 : del self . jobs_record [ file_key ] Dumper . jobs_condition . notify_all ( )