-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Button to see diff. Also display orphan documentation
- Loading branch information
1 parent
e257b6a
commit 059648a
Showing
9 changed files
with
185 additions
and
65 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,18 +1,11 @@ | ||
C_LONGINT:C283($1) | ||
Case of | ||
: ($1=On before host database startup:K74:3) | ||
|
||
: ($1=On after host database startup:K74:4) | ||
|
||
webServer:=WEB Server:C1674(Web database server:K73:30) | ||
webServer.start() | ||
|
||
<>webServer:=WEB Server:C1674(Web database server:K73:30) | ||
<>webServer.start() | ||
: ($1=On before host database exit:K74:5) | ||
|
||
If (webServer#Null:C1517) | ||
webServer.stop() | ||
If (<>webServer#Null:C1517) | ||
<>webServer.stop() | ||
<>webServer:=Null:C1517 | ||
End if | ||
|
||
: ($1=On after host database exit:K74:6) | ||
|
||
End case |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,2 @@ | ||
//%attributes = {"invisible":true} | ||
C_OBJECT:C1216(webServer) | ||
C_OBJECT:C1216(<>webServer) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<title>Mark4: Realtime Markdown Browser</title> | ||
<link href="/style/bootstrap.min.css" rel="stylesheet"> | ||
<link href="/style/atom-one-dark.css" rel="stylesheet"> | ||
<link href="/style/style.css" rel="stylesheet"> | ||
<link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/npm/diff2html/bundles/css/diff2html.min.css" /> | ||
<base target="_parent"> | ||
</head> | ||
|
||
<body class="container-fluid"> | ||
<h1>{{title}}</h1> | ||
<div class="full-height" id="destination-elem-id">{{diff}}</div> | ||
<script src="/js/highlight.pack.js"></script> | ||
<script src="/js/highlight.4d.min.js"></script> | ||
<script src="https://cdn.jsdelivr.net/npm/diff2html/bundles/js/diff2html.min.js"></script> | ||
<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/diff2html/bundles/js/diff2html-ui.min.js"></script> | ||
|
||
<script> | ||
document.addEventListener('DOMContentLoaded', () => { | ||
const targetElement = document.getElementById('destination-elem-id'); | ||
const configuration = { drawFileList: true, matching: 'lines' }; | ||
|
||
const diffString = targetElement.innerHTML; | ||
const diff2htmlUi = new Diff2HtmlUI(targetElement, diffString, configuration); | ||
diff2htmlUi.draw(); | ||
}); | ||
</script> | ||
</body> | ||
</html><!-- CSS --> | ||
|
||
<!-- Javascripts --> |
File renamed without changes.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters