-
Notifications
You must be signed in to change notification settings - Fork 3
/
server.js
76 lines (61 loc) · 2.08 KB
/
server.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
var fs = require("fs");
var path = require("path");
var browserify = require("browserify");
var express = require("express");
var less = require("less");
var app = express();
app.use(express.logger());
var serveBrowserified = function(file, standaloneName) {
return function(req, res, next) {
var b = browserify();
b.add(file);
var options = {};
if (standaloneName) {
options.standalone = standaloneName;
}
var stream = b.bundle(options);
var body = "";
stream.on("data", function(s) { body += s; });
stream.on("error", function(e) { next(e); });
stream.on("end", function() {
res.setHeader("Content-Type", "text/javascript");
res.send(body);
});
};
};
app.get("/katex.js", serveBrowserified("./katex", "katex"));
app.get("/test/katex-spec.js", serveBrowserified("./test/katex-spec"));
app.get("/contrib/auto-render/auto-render.js",
serveBrowserified("./contrib/auto-render/auto-render",
"renderMathInElement"));
app.get("/katex.css", function(req, res, next) {
fs.readFile("static/katex.less", {encoding: "utf8"}, function(err, data) {
if (err) {
next(err);
return;
}
var parser = new less.Parser({
paths: ["./static"],
filename: "katex.less"
});
parser.parse(data, function(err, tree) {
if (err) {
next(err);
return;
}
res.setHeader("Content-Type", "text/css");
res.send(tree.toCSS());
});
});
});
app.use(express.static(path.join(__dirname, "static")));
app.use(express.static(path.join(__dirname, "build")));
app.use("/test", express.static(path.join(__dirname, "test")));
app.use("/contrib", express.static(path.join(__dirname, "contrib")));
app.use(function(err, req, res, next) {
console.error(err.stack);
res.setHeader("Content-Type", "text/plain");
res.send(500, err.stack);
});
app.listen(7936);
console.log("Serving on http://0.0.0.0:7936/ ...");