No OneTemporary
Actions

Size

619 B

Referenced Files

None

Subscribers

None

View Options

	diff --git a/_header.php b/_header.php
	index 466c6ed..e49b3be 100644
	--- a/_header.php
	+++ b/_header.php
	@@ -1,5 +1,4 @@
	<?php
	- //Kludge to be able to load libraries both in Pluton and in stand-alone tool version.
	- $tool_directory = getcwd() . '/' . str_replace('-', '/', $document->topic);
	- ini_set('include_path', ini_get('include_path') . ":$tool_directory");
	-?>
	+ //Kludge to be able to load libraries both in Pluton and in stand-alone tool version.
	+ $tool_directory = getcwd() . '/' . str_replace('-', '/', $document->topic);
	+ ini_set('include_path', ini_get('include_path') . ":$tool_directory");