Merge pull request #264 from CoderDojoStirling/classroom-example-file
Put example js file in classroom player directory.
This commit is contained in:
commit
e3079047a1
1 changed files with 18 additions and 1 deletions
|
@ -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);
|
||||||
|
|
Reference in a new issue