diff options
| author | LarsVomMars | 2020-07-13 16:31:27 +0200 |
|---|---|---|
| committer | LarsVomMars | 2020-07-13 16:31:27 +0200 |
| commit | b4116ee7e549ae35ad8718f2a9d087a48e2821fb (patch) | |
| tree | 3477d23f3e25e8837edee14d1fd750012a6149c3 /src | |
| parent | 356ca52e374219e57c4f0384209f67195363a227 (diff) | |
Added linting to workflow
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.ts | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/main.ts b/src/main.ts index 5a4e2d3..828ec24 100644 --- a/src/main.ts +++ b/src/main.ts @@ -21,10 +21,9 @@ app.static("/", "./src/public/"); // Manage static files app.get("/", async (c: Context) => await c.render("./src/public/index.html")); // Render index on / // Load groups dynamically -for (let groupName in groups) { - // @ts-ignore - groups[groupName](app.group(groupName)); -} +// deno-lint-ignore ban-ts-comment +// @ts-ignore +for (let groupName in groups) groups[groupName](app.group(groupName)); app.start({ port }); console.log(`Server listening on http://localhost:${port}`); |