tasiaiso/tildefriends
1
0
Fork 0
forked from cory/tildefriends
Code Issues Pull Requests Releases Wiki Activity

Move most of the specification of terminal API client-side, so that the terminal can be changed without restarting the core. Add descriptions to some packages. Other minor improvements.

Browse Source 
git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@3222 ed5197a5-7fde-0310-b194-c3ffbd925b24
This commit is contained in:
Cory McWilliams
2016-04-30 10:50:43 +00:00
parent 9668723200
commit 25d97e5e3b
7 changed files with 44 additions and 48 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
core/core.js
View File

@ -289,20 +289,18 @@ function getProcess(packageOwner, packageName, key, options) {
if (options.terminal) {
imports.terminal = {
'print': process.terminal.print.bind(process.terminal),
'clear': process.terminal.clear.bind(process.terminal),
'readLine': process.terminal.readLine.bind(process.terminal),
'notify': process.terminal.notify.bind(process.terminal),
'setEcho': process.terminal.setEcho.bind(process.terminal),
'setTitle': process.terminal.setTitle.bind(process.terminal),
'setPrompt': process.terminal.setPrompt.bind(process.terminal),
'setPassword': process.terminal.setPassword.bind(process.terminal),
'setHash': process.terminal.setHash.bind(process.terminal),
'split': process.terminal.split.bind(process.terminal),
'select': process.terminal.select.bind(process.terminal),
'postMessageToIframe': process.terminal.postMessageToIframe.bind(process.terminal),
'cork': process.terminal.cork.bind(process.terminal),
'uncork': process.terminal.uncork.bind(process.terminal),
};
if (options.terminalApi) {
for (let i in options.terminalApi) {
let api = options.terminalApi[i];
imports.terminal[api[0]] = process.terminal.makeFunction(api);
}
}
}
if (manifest
&& manifest.permissions
@ -416,6 +414,8 @@ httpd.all("", function(request, response) {
return terminal.handler(request, response, null, null, match[1]);
} else if (match = /^\/\~([^\/]+)\/([^\/]+)(.*)/.exec(request.uri)) {
return terminal.handler(request, response, match[1], match[2], match[3]);
} else if (request.uri == "/robots.txt") {
return terminal.handler(request, response, null, null, request.uri);
} else {
var data = "File not found.";
response.writeHead(404, {"Content-Type": "text/plain; charset=utf-8", "Content-Length": data.length.toString()});