2013-11-17 11:50:06 -05:00
|
|
|
<#-- $This file is distributed under the terms of the license in /doc/license.txt$ -->
|
|
|
|
|
|
|
|
|
|
|
|
<#macro showCheckbox key>
|
|
|
|
<input type="checkbox" id="${key}" <#if settings[key]>checked</#if>>
|
|
|
|
</#macro>
|
|
|
|
|
|
|
|
<#macro showTextbox key>
|
2013-11-20 15:50:51 -05:00
|
|
|
<input type="text" id="${key}" size="30" value="${settings[key]}" >
|
2013-11-17 11:50:06 -05:00
|
|
|
</#macro>
|
|
|
|
|
2013-11-18 18:13:09 -05:00
|
|
|
<#if !settings.developerEnabled>
|
|
|
|
<#elseif !settings.mayControl>
|
2013-11-17 11:50:06 -05:00
|
|
|
<div class="developer">
|
|
|
|
<h1>${siteName} is running in developer mode.</h1>
|
|
|
|
</div>
|
|
|
|
<#else>
|
|
|
|
<div class="developer">
|
|
|
|
<h1 id="developerPanelClickMe">${siteName} is running in developer mode.
|
|
|
|
<span id="developerPanelClickText">(click for Options)</span>
|
|
|
|
</h1>
|
|
|
|
<div id="developerPanelBody">
|
2013-11-20 15:50:51 -05:00
|
|
|
<div>
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-18 18:13:09 -05:00
|
|
|
<@showCheckbox "developerEnabled" />
|
2013-11-17 11:50:06 -05:00
|
|
|
Enable developer mode
|
|
|
|
</label>
|
2013-12-10 16:39:03 -05:00
|
|
|
<label>
|
|
|
|
<@showCheckbox "developerPermitAnonymousControl" />
|
|
|
|
Allow anonymous user to see and modify developer settings
|
|
|
|
</label>
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="devright">
|
2013-11-17 11:50:06 -05:00
|
|
|
<div class="container">
|
2013-11-20 15:50:51 -05:00
|
|
|
Page configuration
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerPageContentsLogCustomListView" />
|
|
|
|
Log the use of custom list view XML files.
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerPageContentsLogCustomShortView" />
|
|
|
|
Log the use of custom short views in search, index and browse pages.
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="container">
|
2013-11-20 15:50:51 -05:00
|
|
|
Language support
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerI18nDefeatCache" />
|
|
|
|
Defeat the cache of language property files
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerI18nLogStringRequests" />
|
|
|
|
Log the retrieval of language strings
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
2013-11-22 15:44:28 -05:00
|
|
|
|
|
|
|
<div class="container">
|
|
|
|
Links
|
|
|
|
<br/>
|
|
|
|
<a href="${urls.base}/admin/log4j.jsp">Set log levels</a>
|
2013-12-10 11:37:47 -05:00
|
|
|
<a href="${urls.base}/admin/showConfiguration">Show Configuration</a>
|
|
|
|
<br/>
|
2013-11-22 15:44:28 -05:00
|
|
|
<a href="${urls.base}/admin/showAuth">Show authorization info</a>
|
|
|
|
<a href="${urls.base}/admin/showThreads">Show background threads</a>
|
|
|
|
</div>
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="devleft">
|
|
|
|
<div class="container">
|
|
|
|
Freemarker templates
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerDefeatFreemarkerCache" />
|
|
|
|
Defeat the template cache
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
<@showCheckbox "developerInsertFreemarkerDelimiters" />
|
|
|
|
Insert HTML comments at start and end of templates
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div class="container">
|
2013-11-20 15:50:51 -05:00
|
|
|
SPARQL Queries
|
2013-11-17 11:50:06 -05:00
|
|
|
<label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<@showCheckbox "developerLoggingRDFServiceEnable" />
|
|
|
|
Log each query
|
2013-11-17 11:50:06 -05:00
|
|
|
</label>
|
2013-11-20 15:50:51 -05:00
|
|
|
<div class="within">
|
|
|
|
<label>
|
|
|
|
<@showCheckbox "developerLoggingRDFServiceStackTrace" />
|
|
|
|
Add stack trace
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
Restrict by query string
|
|
|
|
<@showTextbox "developerLoggingRDFServiceQueryRestriction" />
|
|
|
|
</label>
|
|
|
|
<label>
|
|
|
|
Restrict by calling stack
|
|
|
|
<@showTextbox "developerLoggingRDFServiceStackRestriction" />
|
|
|
|
</label>
|
|
|
|
</div>
|
2013-11-17 11:50:06 -05:00
|
|
|
</div>
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
2013-11-17 11:50:06 -05:00
|
|
|
|
2013-11-20 15:50:51 -05:00
|
|
|
<div>
|
2013-11-17 11:50:06 -05:00
|
|
|
<input type="button" id="developerPanelSaveButton" value="Save Settings" name="foo" />
|
2013-11-20 15:50:51 -05:00
|
|
|
</div>
|
2013-11-17 11:50:06 -05:00
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</#if>
|