Log the name of the archive in case archive option is set.

fpapadopou · fpapadopou · commit c924d81b6b06 · 2014-07-11T19:00:02.000+03:00
diff --git a/Symfony/src/Codebender/CompilerBundle/Handler/CompilerHandler.php b/Symfony/src/Codebender/CompilerBundle/Handler/CompilerHandler.php
@@ -129,6 +129,8 @@ function main($request, $compiler_config)
                 }
             }
             $this->compiler_logger->addInfo($compiler_config["compiler_dir"] . " - " . implode(" ", $req_elements));
+            if ($ARCHIVE_OPTION === true)
+                $this->compiler_logger->addInfo($compiler_config["compiler_dir"] . " - " . "Archive file: $ARCHIVE_PATH");
         }
 
         // Step 4: Syntax-check and compile source files.

Original file line number	Diff line number	Diff line change
`@@ -129,6 +129,8 @@ function main($request, $compiler_config)`
`129`	`129`	`}`
`130`	`130`	`}`
`131`	`131`	`$this->compiler_logger->addInfo($compiler_config["compiler_dir"] . " - " . implode(" ", $req_elements));`
	`132`	`+ if ($ARCHIVE_OPTION === true)`
	`133`	`+ $this->compiler_logger->addInfo($compiler_config["compiler_dir"] . " - " . "Archive file: $ARCHIVE_PATH");`
`132`	`134`	`}`
`133`	`135`
`134`	`136`	`// Step 4: Syntax-check and compile source files.`