hazza/DSpace
1
0
Fork 0
mirror of https://github.com/DSpace/DSpace.git synced 2025-10-16 14:33:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

[DS-43] Manakin RSS feed generator cache timeout can't be adjusted - ID: 2593393

Browse Source 
git-svn-id: http://scm.dspace.org/svn/repo/branches/dspace-1_5_x@3623 9c30dcfa-912a-0410-8fc2-9e0234be79fd
This commit is contained in:
Andrea Bollini
2009-03-23 09:03:14 +00:00
parent 3a3090cd98
commit 30812021fa
3 changed files with 37 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
dspace-api/src/main/java/org/dspace/core/ConfigurationManager.java
View File

@@ -149,6 +149,25 @@ public class ConfigurationManager
* when the property actually is zero, use <code>getProperty</code>.
*/
public static int getIntProperty(String property)
{
return getIntProperty(property, 0);
}
/**
* Get a configuration property as an integer, with default
*
* @param property
* the name of the property
*
* @param defaultValue
* value to return if property is not found or is not an Integer.
*
* @return the value of the property. <code>default</code> is returned if
* the property does not exist or is not an Integer. To differentiate between this case
* and when the property actually is false, use
* <code>getProperty</code>.
*/
public static int getIntProperty(String property, int defaultValue)
{
if (properties == null)
{
@@ -156,7 +175,7 @@ public class ConfigurationManager
}
String stringValue = properties.getProperty(property);
int intValue = 0;
int intValue = defaultValue;
if (stringValue != null)
{