--- workspace.module.cvs.1.10	2005-01-27 16:30:35.061033200 -0500
+++ workspace.module	2005-01-27 17:41:26.974008300 -0500
@@ -132,8 +132,8 @@
   global $user;
   $maxnodes = $user->workspaces ? $user->workspaces['default']['maxnodes'] : 50;
   $maxfilenames = $user->workspaces ? $user->workspaces['default']['maxfilenames'] : 50;
-  if (!is_int($maxnodes)) {$maxnodes = 50;}
-  if (!is_int($maxfilenames)) {$maxfilenames = 50;}
+  if (!is_numeric($maxnodes)) {$maxnodes = 50;}
+  if (!is_numeric($maxfilenames)) {$maxfilenames = 50;}
 
   $comments_enabled = module_exist('comment');