Searched refs:dumpfilename (Results 1 – 2 of 2) sorted by relevance
262 char const * dumpfilename = rindex(dmp_pathname, '/'); in process_jit_dumpfile() local285 if (dumpfilename) { in process_jit_dumpfile()287 char const * dot_dump = rindex(++dumpfilename, '.'); in process_jit_dumpfile()290 proc_id_length = dot_dump - dumpfilename; in process_jit_dumpfile()292 memcpy(proc_id, dumpfilename, proc_id_length); in process_jit_dumpfile()297 tmp_dumpfile = xmalloc(tmp_conv_dir_length + 1 + strlen(dumpfilename) + 1); in process_jit_dumpfile()301 strcat(tmp_dumpfile, dumpfilename); in process_jit_dumpfile()
2077 self.dumpfilename = os.path.split(minidump_name)[1]2078 self.encfilename = urllib.urlencode({ 'dump' : self.dumpfilename })2141 "dump_name" : cgi.escape(self.dumpfilename) })2169 self.server.output_dump_desc_field(f, self.dumpfilename)2172 f.write("<span class=\"code\">%s</span><br>\n" % (self.dumpfilename))2705 self.dumpfilename = splitpath[1]2708 self.formatters = { self.dumpfilename : self.default_formatter }