arg/scriptcraft
Archived
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Put example js file in classroom player directory.

Browse source
This commit is contained in:
Gregory Huczynski 2015-08-12 18:40:49 +01:00
parent 62ff9034a6
commit 9e7cb07a8f
1 changed files with 18 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
src/main/js/modules/classroom/index.js
View file

@ -166,8 +166,19 @@ function grantScripting( player ) {
console.log('Enabling scripting for player ' + player.name); console.log('Enabling scripting for player ' + player.name);
var playerName = '' + player.name; var playerName = '' + player.name;
playerName = playerName.replace(/[^a-zA-Z0-9_\-]/g,''); playerName = playerName.replace(/[^a-zA-Z0-9_\-]/g,'');
var playerDir = new File( playersDir + playerName ); var playerDir = new File( playersDir + playerName );
if (!playerDir.exists()) {
playerDir.mkdirs(); playerDir.mkdirs();
var exampleJs = "//Try running this function from Minecraft with: /js $username.hi( self )\n" +
"//Remember to use your real username instead of $username!\n" +
"//So if you had username 'walterh', you would run: /js walterh.hi( self )\n" +
"exports.hi = function( player ){\n" +
"\techo( player, 'Hi ' + player.name);\n" +
"};"
createFile(playerDir, 'greet.js', exampleJs);
}
if (__plugin.bukkit){ if (__plugin.bukkit){
player.addAttachment( __plugin, 'scriptcraft.*', true ); player.addAttachment( __plugin, 'scriptcraft.*', true );
} }
@ -188,6 +199,12 @@ function grantScripting( player ) {
autoloadTime[playerName] = currentTime; autoloadTime[playerName] = currentTime;
}); });
function createFile(fileDir, fileName, fileContent) {
var out = new java.io.PrintWriter(new File(fileDir, fileName));
out.println(fileContent);
out.close();
}
/* /*
echo( player, 'Create your own minecraft mods by adding javascript (.js) files'); echo( player, 'Create your own minecraft mods by adding javascript (.js) files');
echo( player, ' Windows: Open Explorer, go to \\\\' + serverAddress + '\\players\\' + player.name); echo( player, ' Windows: Open Explorer, go to \\\\' + serverAddress + '\\players\\' + player.name);