diff --git a/gosa-core/update-gosa b/gosa-core/update-gosa
index 0ae8950bbc48ef62b729a2f99c85d67072f42613..c94fe9809fc0b7fc9212729fc86ed57d57cf831b 100755 (executable)
--- a/gosa-core/update-gosa
+++ b/gosa-core/update-gosa
// Grey image if it is not already one
if (preg_match('/grey/', $indexPath)) {
echo "!";
- $warnings[]= "Warning: skipped possible grey image $path";
+ $warnings[]= "Warning: skipped possible *grey* image $path";
flush();
continue;
}
- // Grey image if it is not already one
- if (preg_match('/new/', $indexPath)) {
+ // New image if it is not already one
+ if (preg_match('/new/', $indexPath) && !preg_match('/new\.png$/', $indexPath)) {
echo "!";
- $warnings[]= "Warning: skipped possible grey image $path";
+ $warnings[]= "Warning: skipped possible *new* image $path";
flush();
continue;
}
// Move X cursor to the next position
$cursorX+= $imageWidth;
- $maxX=($colX > $maxX)?$colX:$maxX;
+ $maxX=($colX+$imageWidth > $maxX)?$colX+$imageWidth:$maxX;
}
// Print maximum dimensions
// Insert source image...
- // And eventually convert it to grey before
+ // Eventually convert it to grey before
if (preg_match('/-grey\.png$/', $imagePath)) {
if (!function_exists("imageFilter")){
exec("convert ".$paths[$imagePath]." -colorspace Gray /tmp/grey-converted.png");
imageDestroy($src);
// Store style
- if (isset($duplicates[$imagePath])){
- $imageHeight= $heights[$duplicates[$imagePath]];
- $imageWidth= $widths[$duplicates[$imagePath]];
- $x= $posX[$duplicates[$imagePath]];
- $y= $posY[$duplicates[$imagePath]];
- $styles[$imagePath]= "background-position:-$x -$y;width:".$imageWidth."px;height:".$imageHeight."px";
- } else {
- $styles[$imagePath]= "background-position:-$x -$y;width:".$imageWidth."px;height:".$imageHeight."px";
- }
+ $styles[$imagePath]= "background-position:-".$x."px -".$y."px;width:".$imageWidth."px;height:".$imageHeight."px";
echo ".";
flush();
}
+ /* Add duplicates */
+ foreach ($duplicates as $imagePath => $realPath) {
+ $styles[$imagePath]= $styles[$realPath];
+ }
+
imagePNG($dst, "html/themes/$theme/img.png", 9);
imageDestroy($dst);