Warning: session_start(): open(/var/lib/php/sessions/sess_bmap6plcf5ouis39jk629aonmh, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sS make_dm_require_function(S moduleSnippetID, S functionName) {
moduleSnippetID = fsI(moduleSnippetID);
S className = tok_moduleNameFromJavaXSource(loadSnippet(moduleSnippetID));
if (empty(className)) fail("Can't derive module name for " + moduleSnippetID);
S src = "sS " + functionName + "() {\n" +
" ret dm_require(" + quote(moduleSnippetID + "/" + className) + ");\n" +
"}";
printIndent(src);
S newSnippetID = createSnippet(src, functionName + " - require module " + moduleSnippetID, snippetType_JavaXInclude());
checkMarkAnimation_bottomLeft(addStdFunction(newSnippetID, true), 2);
stdFunctions_clearCache();
ret "Require function made: " + newSnippetID;
}