jenkins-bot has submitted this change and it was merged.
Change subject: rebuild ogg if length is missing
......................................................................
rebuild ogg if length is missing
ensures that length is extracted for existing scores.
Change-Id: I2e29d684d4f40421ab776887e0253829c6942ef9
---
M Score.body.php
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Aaron Schulz: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Score.body.php b/Score.body.php
index e559c22..083edc3 100644
--- a/Score.body.php
+++ b/Score.body.php
@@ -449,7 +449,10 @@
$oggFileName =
"{$options['file_name_prefix']}.ogg";
$oggUrl =
"{$options['dest_url']}/$oggFileName";
$oggPath =
"{$options['dest_storage_path']}/$oggFileName";
- if ( !isset(
$existingFiles[$oggFileName] ) ) {
+ if (
+ !isset(
$existingFiles[$oggFileName] ) ||
+ !isset(
$metaData[$oggFileName]['length'] )
+ ) {
// Maybe we just generated it
$sourcePath =
"{$options['factory_directory']}/file.midi";
if ( !file_exists( $sourcePath
) ) {
--
To view, visit https://gerrit.wikimedia.org/r/67599
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2e29d684d4f40421ab776887e0253829c6942ef9
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Score
Gerrit-Branch: master
Gerrit-Owner: J <jger...@wikimedia.org>
Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
