Changes for page Create your WebId Certificate
on 2010/05/23 12:53
on 2010/05/23 12:57
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -112,9 +112,9 @@ 112 112 #end 113 113 #set( $addKey = false ) 114 114 #end 115 -#set ( $hf = 0.0f ) 116 -#set ( $hf = $hf.valueOf("22.3") ) 117 117 116 +#set ( $hf = $mathtool.toDouble("22.3") ) 117 + 118 118 HOURS = $hf 119 119 120 120 #if (!$nodebug) #### if we come from the user's page we don't create a key