Files F12429951

D16.id30.diff
No OneTemporary
Actions

Size

776 B

Referenced Files

None

Subscribers

None

D16.id30.diff
View Options

	Index: includes/workspaces/WorkspaceConfiguration.php
	===================================================================
	--- includes/workspaces/WorkspaceConfiguration.php
	+++ includes/workspaces/WorkspaceConfiguration.php
	@@ -193,9 +193,10 @@
	* Loads a WorkspaceConfiguration instance deserializing a JSON file
	*/
	public static function loadFromFile ($file, $context) {
	- return self::loadFromObject(
	- json_decode(file_get_contents($file)),
	- $context
	- );
	+ $object = json_decode(file_get_contents($file));
	+ if ($object === null) {
	+ throw new Exception("Can't parse configuration file: " . json_last_error_msg());
	+ }
	+ return self::loadFromObject($object, $context);
	}
	}

File Metadata

Mime Type: text/plain
Expires: Thu, Nov 6, 13:30 (17 h, 23 m)
Storage Engine: blob
Storage Format: Raw Data
Storage Handle: 3139585
Default Alt Text: D16.id30.diff (776 B)

Event Timeline