Lines Matching full:file
31 * This also puts the file into the zip package
58 * Adds a file to the zip file
59 * @param $FILE String file-name of the zip
60 * @param $NAME String name of the file that is being added
61 * @param $ZIP String name of the zip file to which we add
63 public function __addFileToZip($FILE, $NAME, $ZIP = null) { argument
72 …$this->functions->debug->message("Trying to create PDF from File '$FILE' with name '$NAME' for ZIP…
74 $succeeded = $this->pdfGenerator->createPDFFromFile($FILE, $NAME);
81 …$this->functions->debug->runtimeException("Create PDF from File '$FILE' with name '$NAME' went wro…
86 return $this->__writeFileToZip($FILE, $NAME, $ZIP);
90 * This really writes a file to a zip-file
91 * @param $FILE String file-name of the zip
92 * @param $NAME String name of the file that is being added
93 * @param $ZIP String name of the zip file to which we add
95 private function __writeFileToZip($FILE, $NAME, $ZIPFILE) { argument
112 $this->functions->debug->message("Adding file '{$NAME}' to ZIP {$ZIPFILE}", null, 2);
114 $zip->addFile($FILE, $NAME);
124 $this->functions->debug->runtimeException("Zip Error #{$code} for file {$NAME}");
129 * check if a file exists allready
130 * @param $NAME String name of the file in the zip
146 * Checks if a valid cache file exists for the given request parameters
163 // Check if the file is expired - if so, just create a new one.
167 …$this->functions->debug->message("New CacheFile because the file was over the cachetime: ", $cache…
179 $this->functions->debug->message("File does not exist: ", $site['id'], 2);
204 if (is_null($data['file'])) $data['file'] = $this->functions->settings->zipFile;
207 $code = $zip->open($data['file']);
209 $this->functions->debug->message("Can't open the zip-file.", $data['file'], 2);
215 …this->functions->debug->message("More than one ({$zip->numFiles}) file in zip.", $data['file'], 2);
223 … $this->functions->debug->message("The file was not a PDF ({$stat['name']}).", $stat['name'], 2);
229 // Extract single file.
230 $folder = dirname($data['file']);
237 $data['file'] .= '.' . cleanID($data['orig']); // Wee need the other file for cache reasons.
238 return (@rename($folder.'/'.$data['orig'], $data['file'])) === true;