Files F18612451

D8243.id.diff
No OneTemporary
Actions

Size

682 B

Referenced Files

None

Subscribers

None

D8243.id.diff
View Options

	Index: src/applications/phragment/controller/PhragmentZIPController.php
	===================================================================
	--- src/applications/phragment/controller/PhragmentZIPController.php
	+++ src/applications/phragment/controller/PhragmentZIPController.php
	@@ -85,7 +85,10 @@
	$files = mpull($files, null, 'getPHID');
	foreach ($mappings as $path => $file_phid) {
	if (!isset($files[$file_phid])) {
	+ // The path is most likely pointing to a deleted fragment, which
	+ // hence no longer has a file associated with it.
	unset($mappings[$path]);
	+ continue;
	}
	$mappings[$path] = $files[$file_phid];
	}

File Metadata

Mime Type: text/plain
Expires: Sep 15 2025, 9:04 AM (10 w, 8 h ago)
Storage Engine: blob
Storage Format: Encrypted (AES-256-CBC)
Storage Handle: 11647643
Default Alt Text: D8243.id.diff (682 B)

Event Timeline