From e6ff9405aa7d33139c97f0d73df09dfafac588ef Mon Sep 17 00:00:00 2001
From: Yvo Brevoort <yvo@muze.nl>
Date: Fri, 10 Jul 2026 14:48:19 +0200
Subject: [PATCH] shard profile directories the same way storage pods are

---
 lib/ProfileServer.php     |  7 +++++-
 upgrade/0.4.2/upgrade.php | 48 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 54 insertions(+), 1 deletion(-)
 create mode 100644 upgrade/0.4.2/upgrade.php

diff --git a/lib/ProfileServer.php b/lib/ProfileServer.php
index cc72345..1962551 100644
--- a/lib/ProfileServer.php
+++ b/lib/ProfileServer.php
@@ -12,10 +12,15 @@ public static function getFileSystem()
 	{
 		$profileId = self::getProfileId();
 
+                if (is_dir(PROFILEBASE . "$profileId/")) { // backwards compatiblity check
+                        $profilePath = $profileId;
+                } else {
+                        $profilePath = implode("/", str_split($storageId, 4));
+                }
 		// The internal adapter
 		$adapter = new \League\Flysystem\Adapter\Local(
 			// Determine root directory
-			PROFILEBASE . "$profileId/"
+			$profilePath
 		);
 
 		$graph = new \EasyRdf\Graph();
diff --git a/upgrade/0.4.2/upgrade.php b/upgrade/0.4.2/upgrade.php
new file mode 100644
index 0000000..55f3c7f
--- /dev/null
+++ b/upgrade/0.4.2/upgrade.php
@@ -0,0 +1,48 @@
+<?php
+
+require_once(__DIR__ . "/../../config.php");
+
+$BASES = [
+	PROFILEBASE
+];
+
+foreach ($BASES as $BASE) {
+	foreach (scandir($BASE) as $dir) {
+		if ($dir === '.' || $dir === '..') {
+			continue;
+		}
+
+		$source = $BASE . DIRECTORY_SEPARATOR . $dir;
+
+		// Only process directories with a 32-character hexadecimal name
+		if (!is_dir($source) || !preg_match('/^[a-f0-9]{32}$/i', $dir)) {
+			continue;
+		}
+
+		// Split into 8 chunks of 4 characters
+		$parts = str_split($dir, 4);
+
+		// Build destination path
+		$destination = $BASE;
+		foreach ($parts as $part) {
+			$destination .= DIRECTORY_SEPARATOR . $part;
+		}
+
+		// Create parent directories
+		$parent = dirname($destination);
+		if (!is_dir($parent)) {
+			mkdir($parent, 0755, true);
+		}
+
+		$source = str_replace("//", "/", $source);
+		$destination = str_replace("//", "/", $destination);
+		// Move the directory
+		if (rename($source, $destination)) {
+			echo "Moved:\n";
+			echo "  $source\n";
+			echo "  -> $destination\n\n";
+		} else {
+			echo "Failed: $dir\n";
+		}
+	}
+}
\ No newline at end of file