+
+ if (!is_dir(dirname($file=='.' ? $to : ($to.'/'.$file)))) {
+ if (!copy_file(dirname($file), null, $to))
+ return false;
+ }
+ if (!$from) {
+ // error_log( 'dodanie katalogu '.$to.'/'.$file);
+ return @mkdir($file=='.' ? $to : ($to.'/'.$file));
+ }
+ else {
+ // error_log( 'skopiowanie '.$to.'/'.$file);
+ return @copy($from.'/'.$file, $to.'/'.$file);
+ }
+}
+/*
+ Search for file, looking first for company specific version, then for
+ version provided by any extension module, finally in main FA directory.
+ Also adds include path for any related files, and sets $local_path_to_root
+ to enable local translation domains.
+
+ Returns found file path or null.
+*/
+function find_custom_file($rep)
+{
+ global $installed_extensions, $path_to_root, $local_path_to_root;
+
+ // customized per company version
+ $path = company_path();
+ $file = $path.$rep;
+ if (file_exists($file)) {
+ // add local include path
+ $local_path_to_root = $path;
+ set_include_path(dirname($file).PATH_SEPARATOR.get_include_path());
+ return $file;
+ }
+ // file added by active extension modules
+ if (count($installed_extensions) > 0)
+ {
+ $extensions = $installed_extensions;
+ foreach ($extensions as $ext)
+ if (($ext['active'] && $ext['type'] == 'extension')) {
+ $path = $path_to_root.'/'.$ext['path'];
+ $file = $path.$rep;
+ if (file_exists($file)) {
+ set_include_path($path.PATH_SEPARATOR.get_include_path());
+ $local_path_to_root = $path;
+ return $file;
+ }
+ }
+ }
+ // standard location
+ $file = $path_to_root.$rep;
+ if (file_exists($file))
+ return $file;
+
+ return null;
+}
+/*
+
+ Protect against directory traversal.
+ Changes all not POSIX compatible chars to underscore.
+*/
+function clean_file_name($filename) {
+ $filename = str_replace(chr(0), '', $filename);
+ return preg_replace('/[^a-zA-Z0-9.\-_]/', '_', $filename);
+}
+
+/*
+ Simple random password generator.
+*/
+function generate_password()
+{
+ if (PHP_VERSION >= '5.3')
+ $bytes = openssl_random_pseudo_bytes(8, $cstrong);
+ else
+ $bytes = sprintf("08%x", mt_rand(0,0xffffffff));
+
+ return base64_encode($bytes);