Searched refs:tmpDir (Results 1 – 1 of 1) sorted by relevance
92 File tmpDir = new File("/tmp"); in getDumpFileName() local93 if (tmpDir.exists() && tmpDir.isDirectory()) { in getDumpFileName()