Swrup
2 years ago
commit
6685f24c3d
36 changed files with 2057 additions and 0 deletions
@ -0,0 +1 @@ |
|||
_build |
@ -0,0 +1,42 @@ |
|||
version=0.22.4 |
|||
assignment-operator=end-line |
|||
break-cases=fit |
|||
break-fun-decl=wrap |
|||
break-fun-sig=wrap |
|||
break-infix=wrap |
|||
break-infix-before-func=false |
|||
break-separators=before |
|||
break-sequences=true |
|||
cases-exp-indent=2 |
|||
cases-matching-exp-indent=normal |
|||
doc-comments=before |
|||
doc-comments-padding=2 |
|||
doc-comments-tag-only=default |
|||
dock-collection-brackets=false |
|||
exp-grouping=preserve |
|||
field-space=loose |
|||
if-then-else=compact |
|||
indicate-multiline-delimiters=space |
|||
indicate-nested-or-patterns=unsafe-no |
|||
infix-precedence=indent |
|||
leading-nested-match-parens=false |
|||
let-and=sparse |
|||
let-binding-spacing=compact |
|||
let-module=compact |
|||
margin=80 |
|||
max-indent=68 |
|||
module-item-spacing=sparse |
|||
ocp-indent-compat=false |
|||
parens-ite=false |
|||
parens-tuple=always |
|||
parse-docstrings=true |
|||
sequence-blank-line=preserve-one |
|||
sequence-style=terminator |
|||
single-case=compact |
|||
space-around-arrays=true |
|||
space-around-lists=true |
|||
space-around-records=true |
|||
space-around-variants=true |
|||
type-decl=sparse |
|||
wrap-comments=false |
|||
wrap-fun-args=true |
@ -0,0 +1 @@ |
|||
## unreleased |
@ -0,0 +1,615 @@ |
|||
### GNU AFFERO GENERAL PUBLIC LICENSE |
|||
|
|||
Version 3, 19 November 2007 |
|||
|
|||
Copyright (C) 2007 Free Software Foundation, Inc. |
|||
<https://fsf.org/> |
|||
|
|||
Everyone is permitted to copy and distribute verbatim copies of this |
|||
license document, but changing it is not allowed. |
|||
|
|||
### Preamble |
|||
|
|||
The GNU Affero General Public License is a free, copyleft license for |
|||
software and other kinds of works, specifically designed to ensure |
|||
cooperation with the community in the case of network server software. |
|||
|
|||
The licenses for most software and other practical works are designed |
|||
to take away your freedom to share and change the works. By contrast, |
|||
our General Public Licenses are intended to guarantee your freedom to |
|||
share and change all versions of a program--to make sure it remains |
|||
free software for all its users. |
|||
|
|||
When we speak of free software, we are referring to freedom, not |
|||
price. Our General Public Licenses are designed to make sure that you |
|||
have the freedom to distribute copies of free software (and charge for |
|||
them if you wish), that you receive source code or can get it if you |
|||
want it, that you can change the software or use pieces of it in new |
|||
free programs, and that you know you can do these things. |
|||
|
|||
Developers that use our General Public Licenses protect your rights |
|||
with two steps: (1) assert copyright on the software, and (2) offer |
|||
you this License which gives you legal permission to copy, distribute |
|||
and/or modify the software. |
|||
|
|||
A secondary benefit of defending all users' freedom is that |
|||
improvements made in alternate versions of the program, if they |
|||
receive widespread use, become available for other developers to |
|||
incorporate. Many developers of free software are heartened and |
|||
encouraged by the resulting cooperation. However, in the case of |
|||
software used on network servers, this result may fail to come about. |
|||
The GNU General Public License permits making a modified version and |
|||
letting the public access it on a server without ever releasing its |
|||
source code to the public. |
|||
|
|||
The GNU Affero General Public License is designed specifically to |
|||
ensure that, in such cases, the modified source code becomes available |
|||
to the community. It requires the operator of a network server to |
|||
provide the source code of the modified version running there to the |
|||
users of that server. Therefore, public use of a modified version, on |
|||
a publicly accessible server, gives the public access to the source |
|||
code of the modified version. |
|||
|
|||
An older license, called the Affero General Public License and |
|||
published by Affero, was designed to accomplish similar goals. This is |
|||
a different license, not a version of the Affero GPL, but Affero has |
|||
released a new version of the Affero GPL which permits relicensing |
|||
under this license. |
|||
|
|||
The precise terms and conditions for copying, distribution and |
|||
modification follow. |
|||
|
|||
### TERMS AND CONDITIONS |
|||
|
|||
#### 0. Definitions. |
|||
|
|||
"This License" refers to version 3 of the GNU Affero General Public |
|||
License. |
|||
|
|||
"Copyright" also means copyright-like laws that apply to other kinds |
|||
of works, such as semiconductor masks. |
|||
|
|||
"The Program" refers to any copyrightable work licensed under this |
|||
License. Each licensee is addressed as "you". "Licensees" and |
|||
"recipients" may be individuals or organizations. |
|||
|
|||
To "modify" a work means to copy from or adapt all or part of the work |
|||
in a fashion requiring copyright permission, other than the making of |
|||
an exact copy. The resulting work is called a "modified version" of |
|||
the earlier work or a work "based on" the earlier work. |
|||
|
|||
A "covered work" means either the unmodified Program or a work based |
|||
on the Program. |
|||
|
|||
To "propagate" a work means to do anything with it that, without |
|||
permission, would make you directly or secondarily liable for |
|||
infringement under applicable copyright law, except executing it on a |
|||
computer or modifying a private copy. Propagation includes copying, |
|||
distribution (with or without modification), making available to the |
|||
public, and in some countries other activities as well. |
|||
|
|||
To "convey" a work means any kind of propagation that enables other |
|||
parties to make or receive copies. Mere interaction with a user |
|||
through a computer network, with no transfer of a copy, is not |
|||
conveying. |
|||
|
|||
An interactive user interface displays "Appropriate Legal Notices" to |
|||
the extent that it includes a convenient and prominently visible |
|||
feature that (1) displays an appropriate copyright notice, and (2) |
|||
tells the user that there is no warranty for the work (except to the |
|||
extent that warranties are provided), that licensees may convey the |
|||
work under this License, and how to view a copy of this License. If |
|||
the interface presents a list of user commands or options, such as a |
|||
menu, a prominent item in the list meets this criterion. |
|||
|
|||
#### 1. Source Code. |
|||
|
|||
The "source code" for a work means the preferred form of the work for |
|||
making modifications to it. "Object code" means any non-source form of |
|||
a work. |
|||
|
|||
A "Standard Interface" means an interface that either is an official |
|||
standard defined by a recognized standards body, or, in the case of |
|||
interfaces specified for a particular programming language, one that |
|||
is widely used among developers working in that language. |
|||
|
|||
The "System Libraries" of an executable work include anything, other |
|||
than the work as a whole, that (a) is included in the normal form of |
|||
packaging a Major Component, but which is not part of that Major |
|||
Component, and (b) serves only to enable use of the work with that |
|||
Major Component, or to implement a Standard Interface for which an |
|||
implementation is available to the public in source code form. A |
|||
"Major Component", in this context, means a major essential component |
|||
(kernel, window system, and so on) of the specific operating system |
|||
(if any) on which the executable work runs, or a compiler used to |
|||
produce the work, or an object code interpreter used to run it. |
|||
|
|||
The "Corresponding Source" for a work in object code form means all |
|||
the source code needed to generate, install, and (for an executable |
|||
work) run the object code and to modify the work, including scripts to |
|||
control those activities. However, it does not include the work's |
|||
System Libraries, or general-purpose tools or generally available free |
|||
programs which are used unmodified in performing those activities but |
|||
which are not part of the work. For example, Corresponding Source |
|||
includes interface definition files associated with source files for |
|||
the work, and the source code for shared libraries and dynamically |
|||
linked subprograms that the work is specifically designed to require, |
|||
such as by intimate data communication or control flow between those |
|||
subprograms and other parts of the work. |
|||
|
|||
The Corresponding Source need not include anything that users can |
|||
regenerate automatically from other parts of the Corresponding Source. |
|||
|
|||
The Corresponding Source for a work in source code form is that same |
|||
work. |
|||
|
|||
#### 2. Basic Permissions. |
|||
|
|||
All rights granted under this License are granted for the term of |
|||
copyright on the Program, and are irrevocable provided the stated |
|||
conditions are met. This License explicitly affirms your unlimited |
|||
permission to run the unmodified Program. The output from running a |
|||
covered work is covered by this License only if the output, given its |
|||
content, constitutes a covered work. This License acknowledges your |
|||
rights of fair use or other equivalent, as provided by copyright law. |
|||
|
|||
You may make, run and propagate covered works that you do not convey, |
|||
without conditions so long as your license otherwise remains in force. |
|||
You may convey covered works to others for the sole purpose of having |
|||
them make modifications exclusively for you, or provide you with |
|||
facilities for running those works, provided that you comply with the |
|||
terms of this License in conveying all material for which you do not |
|||
control copyright. Those thus making or running the covered works for |
|||
you must do so exclusively on your behalf, under your direction and |
|||
control, on terms that prohibit them from making any copies of your |
|||
copyrighted material outside their relationship with you. |
|||
|
|||
Conveying under any other circumstances is permitted solely under the |
|||
conditions stated below. Sublicensing is not allowed; section 10 makes |
|||
it unnecessary. |
|||
|
|||
#### 3. Protecting Users' Legal Rights From Anti-Circumvention Law. |
|||
|
|||
No covered work shall be deemed part of an effective technological |
|||
measure under any applicable law fulfilling obligations under article |
|||
11 of the WIPO copyright treaty adopted on 20 December 1996, or |
|||
similar laws prohibiting or restricting circumvention of such |
|||
measures. |
|||
|
|||
When you convey a covered work, you waive any legal power to forbid |
|||
circumvention of technological measures to the extent such |
|||
circumvention is effected by exercising rights under this License with |
|||
respect to the covered work, and you disclaim any intention to limit |
|||
operation or modification of the work as a means of enforcing, against |
|||
the work's users, your or third parties' legal rights to forbid |
|||
circumvention of technological measures. |
|||
|
|||
#### 4. Conveying Verbatim Copies. |
|||
|
|||
You may convey verbatim copies of the Program's source code as you |
|||
receive it, in any medium, provided that you conspicuously and |
|||
appropriately publish on each copy an appropriate copyright notice; |
|||
keep intact all notices stating that this License and any |
|||
non-permissive terms added in accord with section 7 apply to the code; |
|||
keep intact all notices of the absence of any warranty; and give all |
|||
recipients a copy of this License along with the Program. |
|||
|
|||
You may charge any price or no price for each copy that you convey, |
|||
and you may offer support or warranty protection for a fee. |
|||
|
|||
#### 5. Conveying Modified Source Versions. |
|||
|
|||
You may convey a work based on the Program, or the modifications to |
|||
produce it from the Program, in the form of source code under the |
|||
terms of section 4, provided that you also meet all of these |
|||
conditions: |
|||
|
|||
- a) The work must carry prominent notices stating that you modified |
|||
it, and giving a relevant date. |
|||
- b) The work must carry prominent notices stating that it is |
|||
released under this License and any conditions added under |
|||
section 7. This requirement modifies the requirement in section 4 |
|||
to "keep intact all notices". |
|||
- c) You must license the entire work, as a whole, under this |
|||
License to anyone who comes into possession of a copy. This |
|||
License will therefore apply, along with any applicable section 7 |
|||
additional terms, to the whole of the work, and all its parts, |
|||
regardless of how they are packaged. This License gives no |
|||
permission to license the work in any other way, but it does not |
|||
invalidate such permission if you have separately received it. |
|||
- d) If the work has interactive user interfaces, each must display |
|||
Appropriate Legal Notices; however, if the Program has interactive |
|||
interfaces that do not display Appropriate Legal Notices, your |
|||
work need not make them do so. |
|||
|
|||
A compilation of a covered work with other separate and independent |
|||
works, which are not by their nature extensions of the covered work, |
|||
and which are not combined with it such as to form a larger program, |
|||
in or on a volume of a storage or distribution medium, is called an |
|||
"aggregate" if the compilation and its resulting copyright are not |
|||
used to limit the access or legal rights of the compilation's users |
|||
beyond what the individual works permit. Inclusion of a covered work |
|||
in an aggregate does not cause this License to apply to the other |
|||
parts of the aggregate. |
|||
|
|||
#### 6. Conveying Non-Source Forms. |
|||
|
|||
You may convey a covered work in object code form under the terms of |
|||
sections 4 and 5, provided that you also convey the machine-readable |
|||
Corresponding Source under the terms of this License, in one of these |
|||
ways: |
|||
|
|||
- a) Convey the object code in, or embodied in, a physical product |
|||
(including a physical distribution medium), accompanied by the |
|||
Corresponding Source fixed on a durable physical medium |
|||
customarily used for software interchange. |
|||
- b) Convey the object code in, or embodied in, a physical product |
|||
(including a physical distribution medium), accompanied by a |
|||
written offer, valid for at least three years and valid for as |
|||
long as you offer spare parts or customer support for that product |
|||
model, to give anyone who possesses the object code either (1) a |
|||
copy of the Corresponding Source for all the software in the |
|||
product that is covered by this License, on a durable physical |
|||
medium customarily used for software interchange, for a price no |
|||
more than your reasonable cost of physically performing this |
|||
conveying of source, or (2) access to copy the Corresponding |
|||
Source from a network server at no charge. |
|||
- c) Convey individual copies of the object code with a copy of the |
|||
written offer to provide the Corresponding Source. This |
|||
alternative is allowed only occasionally and noncommercially, and |
|||
only if you received the object code with such an offer, in accord |
|||
with subsection 6b. |
|||
- d) Convey the object code by offering access from a designated |
|||
place (gratis or for a charge), and offer equivalent access to the |
|||
Corresponding Source in the same way through the same place at no |
|||
further charge. You need not require recipients to copy the |
|||
Corresponding Source along with the object code. If the place to |
|||
copy the object code is a network server, the Corresponding Source |
|||
may be on a different server (operated by you or a third party) |
|||
that supports equivalent copying facilities, provided you maintain |
|||
clear directions next to the object code saying where to find the |
|||
Corresponding Source. Regardless of what server hosts the |
|||
Corresponding Source, you remain obligated to ensure that it is |
|||
available for as long as needed to satisfy these requirements. |
|||
- e) Convey the object code using peer-to-peer transmission, |
|||
provided you inform other peers where the object code and |
|||
Corresponding Source of the work are being offered to the general |
|||
public at no charge under subsection 6d. |
|||
|
|||
A separable portion of the object code, whose source code is excluded |
|||
from the Corresponding Source as a System Library, need not be |
|||
included in conveying the object code work. |
|||
|
|||
A "User Product" is either (1) a "consumer product", which means any |
|||
tangible personal property which is normally used for personal, |
|||
family, or household purposes, or (2) anything designed or sold for |
|||
incorporation into a dwelling. In determining whether a product is a |
|||
consumer product, doubtful cases shall be resolved in favor of |
|||
coverage. For a particular product received by a particular user, |
|||
"normally used" refers to a typical or common use of that class of |
|||
product, regardless of the status of the particular user or of the way |
|||
in which the particular user actually uses, or expects or is expected |
|||
to use, the product. A product is a consumer product regardless of |
|||
whether the product has substantial commercial, industrial or |
|||
non-consumer uses, unless such uses represent the only significant |
|||
mode of use of the product. |
|||
|
|||
"Installation Information" for a User Product means any methods, |
|||
procedures, authorization keys, or other information required to |
|||
install and execute modified versions of a covered work in that User |
|||
Product from a modified version of its Corresponding Source. The |
|||
information must suffice to ensure that the continued functioning of |
|||
the modified object code is in no case prevented or interfered with |
|||
solely because modification has been made. |
|||
|
|||
If you convey an object code work under this section in, or with, or |
|||
specifically for use in, a User Product, and the conveying occurs as |
|||
part of a transaction in which the right of possession and use of the |
|||
User Product is transferred to the recipient in perpetuity or for a |
|||
fixed term (regardless of how the transaction is characterized), the |
|||
Corresponding Source conveyed under this section must be accompanied |
|||
by the Installation Information. But this requirement does not apply |
|||
if neither you nor any third party retains the ability to install |
|||
modified object code on the User Product (for example, the work has |
|||
been installed in ROM). |
|||
|
|||
The requirement to provide Installation Information does not include a |
|||
requirement to continue to provide support service, warranty, or |
|||
updates for a work that has been modified or installed by the |
|||
recipient, or for the User Product in which it has been modified or |
|||
installed. Access to a network may be denied when the modification |
|||
itself materially and adversely affects the operation of the network |
|||
or violates the rules and protocols for communication across the |
|||
network. |
|||
|
|||
Corresponding Source conveyed, and Installation Information provided, |
|||
in accord with this section must be in a format that is publicly |
|||
documented (and with an implementation available to the public in |
|||
source code form), and must require no special password or key for |
|||
unpacking, reading or copying. |
|||
|
|||
#### 7. Additional Terms. |
|||
|
|||
"Additional permissions" are terms that supplement the terms of this |
|||
License by making exceptions from one or more of its conditions. |
|||
Additional permissions that are applicable to the entire Program shall |
|||
be treated as though they were included in this License, to the extent |
|||
that they are valid under applicable law. If additional permissions |
|||
apply only to part of the Program, that part may be used separately |
|||
under those permissions, but the entire Program remains governed by |
|||
this License without regard to the additional permissions. |
|||
|
|||
When you convey a copy of a covered work, you may at your option |
|||
remove any additional permissions from that copy, or from any part of |
|||
it. (Additional permissions may be written to require their own |
|||
removal in certain cases when you modify the work.) You may place |
|||
additional permissions on material, added by you to a covered work, |
|||
for which you have or can give appropriate copyright permission. |
|||
|
|||
Notwithstanding any other provision of this License, for material you |
|||
add to a covered work, you may (if authorized by the copyright holders |
|||
of that material) supplement the terms of this License with terms: |
|||
|
|||
- a) Disclaiming warranty or limiting liability differently from the |
|||
terms of sections 15 and 16 of this License; or |
|||
- b) Requiring preservation of specified reasonable legal notices or |
|||
author attributions in that material or in the Appropriate Legal |
|||
Notices displayed by works containing it; or |
|||
- c) Prohibiting misrepresentation of the origin of that material, |
|||
or requiring that modified versions of such material be marked in |
|||
reasonable ways as different from the original version; or |
|||
- d) Limiting the use for publicity purposes of names of licensors |
|||
or authors of the material; or |
|||
- e) Declining to grant rights under trademark law for use of some |
|||
trade names, trademarks, or service marks; or |
|||
- f) Requiring indemnification of licensors and authors of that |
|||
material by anyone who conveys the material (or modified versions |
|||
of it) with contractual assumptions of liability to the recipient, |
|||
for any liability that these contractual assumptions directly |
|||
impose on those licensors and authors. |
|||
|
|||
All other non-permissive additional terms are considered "further |
|||
restrictions" within the meaning of section 10. If the Program as you |
|||
received it, or any part of it, contains a notice stating that it is |
|||
governed by this License along with a term that is a further |
|||
restriction, you may remove that term. If a license document contains |
|||
a further restriction but permits relicensing or conveying under this |
|||
License, you may add to a covered work material governed by the terms |
|||
of that license document, provided that the further restriction does |
|||
not survive such relicensing or conveying. |
|||
|
|||
If you add terms to a covered work in accord with this section, you |
|||
must place, in the relevant source files, a statement of the |
|||
additional terms that apply to those files, or a notice indicating |
|||
where to find the applicable terms. |
|||
|
|||
Additional terms, permissive or non-permissive, may be stated in the |
|||
form of a separately written license, or stated as exceptions; the |
|||
above requirements apply either way. |
|||
|
|||
#### 8. Termination. |
|||
|
|||
You may not propagate or modify a covered work except as expressly |
|||
provided under this License. Any attempt otherwise to propagate or |
|||
modify it is void, and will automatically terminate your rights under |
|||
this License (including any patent licenses granted under the third |
|||
paragraph of section 11). |
|||
|
|||
However, if you cease all violation of this License, then your license |
|||
from a particular copyright holder is reinstated (a) provisionally, |
|||
unless and until the copyright holder explicitly and finally |
|||
terminates your license, and (b) permanently, if the copyright holder |
|||
fails to notify you of the violation by some reasonable means prior to |
|||
60 days after the cessation. |
|||
|
|||
Moreover, your license from a particular copyright holder is |
|||
reinstated permanently if the copyright holder notifies you of the |
|||
violation by some reasonable means, this is the first time you have |
|||
received notice of violation of this License (for any work) from that |
|||
copyright holder, and you cure the violation prior to 30 days after |
|||
your receipt of the notice. |
|||
|
|||
Termination of your rights under this section does not terminate the |
|||
licenses of parties who have received copies or rights from you under |
|||
this License. If your rights have been terminated and not permanently |
|||
reinstated, you do not qualify to receive new licenses for the same |
|||
material under section 10. |
|||
|
|||
#### 9. Acceptance Not Required for Having Copies. |
|||
|
|||
You are not required to accept this License in order to receive or run |
|||
a copy of the Program. Ancillary propagation of a covered work |
|||
occurring solely as a consequence of using peer-to-peer transmission |
|||
to receive a copy likewise does not require acceptance. However, |
|||
nothing other than this License grants you permission to propagate or |
|||
modify any covered work. These actions infringe copyright if you do |
|||
not accept this License. Therefore, by modifying or propagating a |
|||
covered work, you indicate your acceptance of this License to do so. |
|||
|
|||
#### 10. Automatic Licensing of Downstream Recipients. |
|||
|
|||
Each time you convey a covered work, the recipient automatically |
|||
receives a license from the original licensors, to run, modify and |
|||
propagate that work, subject to this License. You are not responsible |
|||
for enforcing compliance by third parties with this License. |
|||
|
|||
An "entity transaction" is a transaction transferring control of an |
|||
organization, or substantially all assets of one, or subdividing an |
|||
organization, or merging organizations. If propagation of a covered |
|||
work results from an entity transaction, each party to that |
|||
transaction who receives a copy of the work also receives whatever |
|||
licenses to the work the party's predecessor in interest had or could |
|||
give under the previous paragraph, plus a right to possession of the |
|||
Corresponding Source of the work from the predecessor in interest, if |
|||
the predecessor has it or can get it with reasonable efforts. |
|||
|
|||
You may not impose any further restrictions on the exercise of the |
|||
rights granted or affirmed under this License. For example, you may |
|||
not impose a license fee, royalty, or other charge for exercise of |
|||
rights granted under this License, and you may not initiate litigation |
|||
(including a cross-claim or counterclaim in a lawsuit) alleging that |
|||
any patent claim is infringed by making, using, selling, offering for |
|||
sale, or importing the Program or any portion of it. |
|||
|
|||
#### 11. Patents. |
|||
|
|||
A "contributor" is a copyright holder who authorizes use under this |
|||
License of the Program or a work on which the Program is based. The |
|||
work thus licensed is called the contributor's "contributor version". |
|||
|
|||
A contributor's "essential patent claims" are all patent claims owned |
|||
or controlled by the contributor, whether already acquired or |
|||
hereafter acquired, that would be infringed by some manner, permitted |
|||
by this License, of making, using, or selling its contributor version, |
|||
but do not include claims that would be infringed only as a |
|||
consequence of further modification of the contributor version. For |
|||
purposes of this definition, "control" includes the right to grant |
|||
patent sublicenses in a manner consistent with the requirements of |
|||
this License. |
|||
|
|||
Each contributor grants you a non-exclusive, worldwide, royalty-free |
|||
patent license under the contributor's essential patent claims, to |
|||
make, use, sell, offer for sale, import and otherwise run, modify and |
|||
propagate the contents of its contributor version. |
|||
|
|||
In the following three paragraphs, a "patent license" is any express |
|||
agreement or commitment, however denominated, not to enforce a patent |
|||
(such as an express permission to practice a patent or covenant not to |
|||
sue for patent infringement). To "grant" such a patent license to a |
|||
party means to make such an agreement or commitment not to enforce a |
|||
patent against the party. |
|||
|
|||
If you convey a covered work, knowingly relying on a patent license, |
|||
and the Corresponding Source of the work is not available for anyone |
|||
to copy, free of charge and under the terms of this License, through a |
|||
publicly available network server or other readily accessible means, |
|||
then you must either (1) cause the Corresponding Source to be so |
|||
available, or (2) arrange to deprive yourself of the benefit of the |
|||
patent license for this particular work, or (3) arrange, in a manner |
|||
consistent with the requirements of this License, to extend the patent |
|||
license to downstream recipients. "Knowingly relying" means you have |
|||
actual knowledge that, but for the patent license, your conveying the |
|||
covered work in a country, or your recipient's use of the covered work |
|||
in a country, would infringe one or more identifiable patents in that |
|||
country that you have reason to believe are valid. |
|||
|
|||
If, pursuant to or in connection with a single transaction or |
|||
arrangement, you convey, or propagate by procuring conveyance of, a |
|||
covered work, and grant a patent license to some of the parties |
|||
receiving the covered work authorizing them to use, propagate, modify |
|||
or convey a specific copy of the covered work, then the patent license |
|||
you grant is automatically extended to all recipients of the covered |
|||
work and works based on it. |
|||
|
|||
A patent license is "discriminatory" if it does not include within the |
|||
scope of its coverage, prohibits the exercise of, or is conditioned on |
|||
the non-exercise of one or more of the rights that are specifically |
|||
granted under this License. You may not convey a covered work if you |
|||
are a party to an arrangement with a third party that is in the |
|||
business of distributing software, under which you make payment to the |
|||
third party based on the extent of your activity of conveying the |
|||
work, and under which the third party grants, to any of the parties |
|||
who would receive the covered work from you, a discriminatory patent |
|||
license (a) in connection with copies of the covered work conveyed by |
|||
you (or copies made from those copies), or (b) primarily for and in |
|||
connection with specific products or compilations that contain the |
|||
covered work, unless you entered into that arrangement, or that patent |
|||
license was granted, prior to 28 March 2007. |
|||
|
|||
Nothing in this License shall be construed as excluding or limiting |
|||
any implied license or other defenses to infringement that may |
|||
otherwise be available to you under applicable patent law. |
|||
|
|||
#### 12. No Surrender of Others' Freedom. |
|||
|
|||
If conditions are imposed on you (whether by court order, agreement or |
|||
otherwise) that contradict the conditions of this License, they do not |
|||
excuse you from the conditions of this License. If you cannot convey a |
|||
covered work so as to satisfy simultaneously your obligations under |
|||
this License and any other pertinent obligations, then as a |
|||
consequence you may not convey it at all. For example, if you agree to |
|||
terms that obligate you to collect a royalty for further conveying |
|||
from those to whom you convey the Program, the only way you could |
|||
satisfy both those terms and this License would be to refrain entirely |
|||
from conveying the Program. |
|||
|
|||
#### 13. Remote Network Interaction; Use with the GNU General Public License. |
|||
|
|||
Notwithstanding any other provision of this License, if you modify the |
|||
Program, your modified version must prominently offer all users |
|||
interacting with it remotely through a computer network (if your |
|||
version supports such interaction) an opportunity to receive the |
|||
Corresponding Source of your version by providing access to the |
|||
Corresponding Source from a network server at no charge, through some |
|||
standard or customary means of facilitating copying of software. This |
|||
Corresponding Source shall include the Corresponding Source for any |
|||
work covered by version 3 of the GNU General Public License that is |
|||
incorporated pursuant to the following paragraph. |
|||
|
|||
Notwithstanding any other provision of this License, you have |
|||
permission to link or combine any covered work with a work licensed |
|||
under version 3 of the GNU General Public License into a single |
|||
combined work, and to convey the resulting work. The terms of this |
|||
License will continue to apply to the part which is the covered work, |
|||
but the work with which it is combined will remain governed by version |
|||
3 of the GNU General Public License. |
|||
|
|||
#### 14. Revised Versions of this License. |
|||
|
|||
The Free Software Foundation may publish revised and/or new versions |
|||
of the GNU Affero General Public License from time to time. Such new |
|||
versions will be similar in spirit to the present version, but may |
|||
differ in detail to address new problems or concerns. |
|||
|
|||
Each version is given a distinguishing version number. If the Program |
|||
specifies that a certain numbered version of the GNU Affero General |
|||
Public License "or any later version" applies to it, you have the |
|||
option of following the terms and conditions either of that numbered |
|||
version or of any later version published by the Free Software |
|||
Foundation. If the Program does not specify a version number of the |
|||
GNU Affero General Public License, you may choose any version ever |
|||
published by the Free Software Foundation. |
|||
|
|||
If the Program specifies that a proxy can decide which future versions |
|||
of the GNU Affero General Public License can be used, that proxy's |
|||
public statement of acceptance of a version permanently authorizes you |
|||
to choose that version for the Program. |
|||
|
|||
Later license versions may give you additional or different |
|||
permissions. However, no additional obligations are imposed on any |
|||
author or copyright holder as a result of your choosing to follow a |
|||
later version. |
|||
|
|||
#### 15. Disclaimer of Warranty. |
|||
|
|||
THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY |
|||
APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT |
|||
HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT |
|||
WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT |
|||
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
|||
A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND |
|||
PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE |
|||
DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR |
|||
CORRECTION. |
|||
|
|||
#### 16. Limitation of Liability. |
|||
|
|||
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING |
|||
WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR |
|||
CONVEYS THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, |
|||
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES |
|||
ARISING OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT |
|||
NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR |
|||
LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM |
|||
TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF SUCH HOLDER OR OTHER |
|||
PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. |
|||
|
|||
#### 17. Interpretation of Sections 15 and 16. |
|||
|
|||
If the disclaimer of warranty and limitation of liability provided |
|||
above cannot be given local legal effect according to their terms, |
|||
reviewing courts shall apply local law that most closely approximates |
|||
an absolute waiver of all civil liability in connection with the |
|||
Program, unless a warranty or assumption of liability accompanies a |
|||
copy of the Program in return for a fee. |
|||
|
@ -0,0 +1,20 @@ |
|||
# droloc |
|||
|
|||
[dromloc] is an [OCaml] executable/library to TODO. |
|||
|
|||
## About |
|||
|
|||
- [LICENSE] |
|||
- [CHANGELOG] |
|||
|
|||
[CHANGELOG]: ./CHANGES.md |
|||
[example]: ./example |
|||
[LICENSE]: ./LICENSE.md |
|||
[opam file]: ./dromloc.opam |
|||
[test suite]: ./test |
|||
|
|||
[documentation]: TODO/dromloc |
|||
[how to install opam]: https://opam.ocaml.org/doc/Install.html |
|||
[OCaml]: https://ocaml.org |
|||
[opam]: https://opam.ocaml.org/ |
|||
[dromloc]: TODO/dromloc |
@ -0,0 +1,12 @@ |
|||
- websocket persistent? |
|||
- do it still send geo pos if tab not focused |
|||
- try it on mobile |
|||
|
|||
- add direction |
|||
|
|||
- different color for all camels |
|||
- clicking on dromedary should show name |
|||
- sidebar we can open to show list |
|||
of [dromedary colorful icon] <-> name |
|||
- add rally point, button popup for first client in the room |
|||
and in the menu bar too: make the map in "rally point setup" mode |
@ -0,0 +1,3 @@ |
|||
(documentation |
|||
(package dromloc) |
|||
(mld_files index)) |
@ -0,0 +1,17 @@ |
|||
{0 dromloc} |
|||
|
|||
{{:https://TODO/dromloc} dromloc} is an {{:https://ocaml.org} OCaml} library/executable to TODO. |
|||
|
|||
{1:api API} |
|||
|
|||
{!modules: |
|||
Droloc |
|||
} |
|||
|
|||
{1:private_api Private API} |
|||
|
|||
You shouldn't have to use any of these modules, they're used internally only. |
|||
|
|||
{!modules: |
|||
TODO |
|||
} |
@ -0,0 +1,33 @@ |
|||
# This file is generated by dune, edit dune-project instead |
|||
opam-version: "2.0" |
|||
synopsis: "OCaml library/executable to TODO" |
|||
description: "dromloc is an OCaml library/executable to TODO." |
|||
maintainer: ["swrup@protonmail.com"] |
|||
authors: ["swrup"] |
|||
license: "AGPL" |
|||
tags: ["dromloc" "TODO" "TODO" "TODO" "TODO"] |
|||
homepage: "TODO/dromloc" |
|||
doc: "TODO/dromloc" |
|||
bug-reports: "TODO/dromloc" |
|||
depends: [ |
|||
"dune" {>= "2.9"} |
|||
"ocaml" {>= "4.08"} |
|||
"odoc" {with-doc} |
|||
] |
|||
build: [ |
|||
["dune" "subst"] {dev} |
|||
[ |
|||
"dune" |
|||
"build" |
|||
"-p" |
|||
name |
|||
"-j" |
|||
jobs |
|||
"--promote-install-files=false" |
|||
"@install" |
|||
"@runtest" {with-test} |
|||
"@doc" {with-doc} |
|||
] |
|||
["dune" "install" "-p" name "--create-install-files" name] |
|||
] |
|||
dev-repo: "TODO/dromloc" |
@ -0,0 +1,33 @@ |
|||
(lang dune 2.9) |
|||
|
|||
(implicit_transitive_deps false) |
|||
|
|||
(name dromloc) |
|||
|
|||
(license AGPL) |
|||
|
|||
(authors "swrup") |
|||
|
|||
(maintainers "swrup@protonmail.com") |
|||
|
|||
(source |
|||
(uri TODO/dromloc)) |
|||
|
|||
(homepage TODO/dromloc) |
|||
|
|||
(bug_reports TODO/dromloc) |
|||
|
|||
(documentation TODO/dromloc) |
|||
|
|||
(generate_opam_files true) |
|||
|
|||
(package |
|||
(name dromloc) |
|||
(synopsis "OCaml library/executable to TODO") |
|||
(description |
|||
"dromloc is an OCaml library/executable to TODO.") |
|||
(tags |
|||
(dromloc TODO TODO TODO TODO)) |
|||
(depends |
|||
(ocaml |
|||
(>= 4.08)))) |
@ -0,0 +1,3 @@ |
|||
(executable |
|||
(name main) |
|||
(modules main)) |
@ -0,0 +1 @@ |
|||
let () = Format.printf "TODO@." |
@ -0,0 +1,94 @@ |
|||
module App_id = struct |
|||
let qualifier = "org" |
|||
|
|||
let organization = "Dromloc" |
|||
|
|||
let application = "dromloc" |
|||
end |
|||
|
|||
module Project_dirs = Directories.Project_dirs (App_id) |
|||
|
|||
let data_dir = |
|||
match Project_dirs.data_dir with |
|||
| None -> failwith "can't compute data directory" |
|||
| Some data_dir -> data_dir |
|||
|
|||
let config_dir = |
|||
match Project_dirs.config_dir with |
|||
| None -> failwith "can't compute configuration directory" |
|||
| Some config_dir -> config_dir |
|||
|
|||
let config = |
|||
let filename = Filename.concat config_dir "config.scfg" in |
|||
if not @@ Sys.file_exists filename then |
|||
failwith |
|||
@@ Format.sprintf "configuration file `%s` does not exist, please create it" |
|||
filename; |
|||
Dream.log "config file: %s" filename; |
|||
match Scfg.Parse.from_file filename with |
|||
| Error e -> failwith e |
|||
| Ok config -> config |
|||
|
|||
let open_registration = |
|||
match Scfg.Query.get_dir "open_registration" config with |
|||
| None -> true |
|||
| Some open_registration -> ( |
|||
match Scfg.Query.get_param 0 open_registration with |
|||
| Error e -> failwith e |
|||
| Ok "true" -> true |
|||
| Ok "false" -> false |
|||
| Ok _unknown -> |
|||
failwith "invalid `open_registration` value in configuration file" ) |
|||
|
|||
let () = Dream.log "open_registration: %b" open_registration |
|||
|
|||
let port = |
|||
match Scfg.Query.get_dir "port" config with |
|||
| None -> 8080 |
|||
| Some port -> ( |
|||
match Scfg.Query.get_param 0 port with |
|||
| Error e -> failwith e |
|||
| Ok n -> ( |
|||
try |
|||
let n = int_of_string n in |
|||
if n < 0 then raise (Invalid_argument "negative port number"); |
|||
n |
|||
with Invalid_argument _msg -> |
|||
failwith "invalid `port` value in configuration file" ) ) |
|||
|
|||
let () = Dream.log "port: %d" port |
|||
|
|||
let hostname = |
|||
match Scfg.Query.get_dir "hostname" config with |
|||
| None -> Format.sprintf "localhost:%d" port |
|||
| Some hostname -> |
|||
Result.fold ~error:failwith ~ok:Fun.id (Scfg.Query.get_param 0 hostname) |
|||
|
|||
let () = Dream.log "hostname: %s" hostname |
|||
|
|||
let log = |
|||
match Scfg.Query.get_dir "log" config with |
|||
| None -> true |
|||
| Some log -> ( |
|||
match Scfg.Query.get_param 0 log with |
|||
| Error e -> failwith e |
|||
| Ok "true" -> true |
|||
| Ok "false" -> false |
|||
| Ok _unknown -> failwith "invalid `log` value in configuration file" ) |
|||
|
|||
let () = Dream.log "log: %b" log |
|||
|
|||
let get_dirs name = |
|||
let dirs = Scfg.Query.get_dirs name config in |
|||
List.map |
|||
(fun dir -> |
|||
Result.fold ~error:failwith ~ok:Fun.id (Scfg.Query.get_param 0 dir) ) |
|||
dirs |
|||
|
|||
let random_state = Random.State.make_self_init () |
|||
|
|||
let () = Random.set_state random_state |
|||
|
|||
let about = |
|||
(* TODO read from about.txt *) |
|||
"This is dromloc" |
@ -0,0 +1 @@ |
|||
This is some text about dromloc |
@ -0,0 +1,640 @@ |
|||
/* required styles */ |
|||
|
|||
.leaflet-pane, |
|||
.leaflet-tile, |
|||
.leaflet-marker-icon, |
|||
.leaflet-marker-shadow, |
|||
.leaflet-tile-container, |
|||
.leaflet-pane > svg, |
|||
.leaflet-pane > canvas, |
|||
.leaflet-zoom-box, |
|||
.leaflet-image-layer, |
|||
.leaflet-layer { |
|||
position: absolute; |
|||
left: 0; |
|||
top: 0; |
|||
} |
|||
.leaflet-container { |
|||
overflow: hidden; |
|||
} |
|||
.leaflet-tile, |
|||
.leaflet-marker-icon, |
|||
.leaflet-marker-shadow { |
|||
-webkit-user-select: none; |
|||
-moz-user-select: none; |
|||
user-select: none; |
|||
-webkit-user-drag: none; |
|||
} |
|||
/* Prevents IE11 from highlighting tiles in blue */ |
|||
.leaflet-tile::selection { |
|||
background: transparent; |
|||
} |
|||
/* Safari renders non-retina tile on retina better with this, but Chrome is worse */ |
|||
.leaflet-safari .leaflet-tile { |
|||
image-rendering: -webkit-optimize-contrast; |
|||
} |
|||
/* hack that prevents hw layers "stretching" when loading new tiles */ |
|||
.leaflet-safari .leaflet-tile-container { |
|||
width: 1600px; |
|||
height: 1600px; |
|||
-webkit-transform-origin: 0 0; |
|||
} |
|||
.leaflet-marker-icon, |
|||
.leaflet-marker-shadow { |
|||
display: block; |
|||
} |
|||
/* .leaflet-container svg: reset svg max-width decleration shipped in Joomla! (joomla.org) 3.x */ |
|||
/* .leaflet-container img: map is broken in FF if you have max-width: 100% on tiles */ |
|||
.leaflet-container .leaflet-overlay-pane svg, |
|||
.leaflet-container .leaflet-marker-pane img, |
|||
.leaflet-container .leaflet-shadow-pane img, |
|||
.leaflet-container .leaflet-tile-pane img, |
|||
.leaflet-container img.leaflet-image-layer, |
|||
.leaflet-container .leaflet-tile { |
|||
max-width: none !important; |
|||
max-height: none !important; |
|||
} |
|||
|
|||
.leaflet-container.leaflet-touch-zoom { |
|||
-ms-touch-action: pan-x pan-y; |
|||
touch-action: pan-x pan-y; |
|||
} |
|||
.leaflet-container.leaflet-touch-drag { |
|||
-ms-touch-action: pinch-zoom; |
|||
/* Fallback for FF which doesn't support pinch-zoom */ |
|||
touch-action: none; |
|||
touch-action: pinch-zoom; |
|||
} |
|||
.leaflet-container.leaflet-touch-drag.leaflet-touch-zoom { |
|||
-ms-touch-action: none; |
|||
touch-action: none; |
|||
} |
|||
.leaflet-container { |
|||
-webkit-tap-highlight-color: transparent; |
|||
} |
|||
.leaflet-container a { |
|||
-webkit-tap-highlight-color: rgba(51, 181, 229, 0.4); |
|||
} |
|||
.leaflet-tile { |
|||
filter: inherit; |
|||
visibility: hidden; |
|||
} |
|||
.leaflet-tile-loaded { |
|||
visibility: inherit; |
|||
} |
|||
.leaflet-zoom-box { |
|||
width: 0; |
|||
height: 0; |
|||
-moz-box-sizing: border-box; |
|||
box-sizing: border-box; |
|||
z-index: 800; |
|||
} |
|||
/* workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=888319 */ |
|||
.leaflet-overlay-pane svg { |
|||
-moz-user-select: none; |
|||
} |
|||
|
|||
.leaflet-pane { z-index: 400; } |
|||
|
|||
.leaflet-tile-pane { z-index: 200; } |
|||
.leaflet-overlay-pane { z-index: 400; } |
|||
.leaflet-shadow-pane { z-index: 500; } |
|||
.leaflet-marker-pane { z-index: 600; } |
|||
.leaflet-tooltip-pane { z-index: 650; } |
|||
.leaflet-popup-pane { z-index: 700; } |
|||
|
|||
.leaflet-map-pane canvas { z-index: 100; } |
|||
.leaflet-map-pane svg { z-index: 200; } |
|||
|
|||
.leaflet-vml-shape { |
|||
width: 1px; |
|||
height: 1px; |
|||
} |
|||
.lvml { |
|||
behavior: url(#default#VML); |
|||
display: inline-block; |
|||
position: absolute; |
|||
} |
|||
|
|||
|
|||
/* control positioning */ |
|||
|
|||
.leaflet-control { |
|||
position: relative; |
|||
z-index: 800; |
|||
pointer-events: visiblePainted; /* IE 9-10 doesn't have auto */ |
|||
pointer-events: auto; |
|||
} |
|||
.leaflet-top, |
|||
.leaflet-bottom { |
|||
position: absolute; |
|||
z-index: 1000; |
|||
pointer-events: none; |
|||
} |
|||
.leaflet-top { |
|||
top: 0; |
|||
} |
|||
.leaflet-right { |
|||
right: 0; |
|||
} |
|||
.leaflet-bottom { |
|||
bottom: 0; |
|||
} |
|||
.leaflet-left { |
|||
left: 0; |
|||
} |
|||
.leaflet-control { |
|||
float: left; |
|||
clear: both; |
|||
} |
|||
.leaflet-right .leaflet-control { |
|||
float: right; |
|||
} |
|||
.leaflet-top .leaflet-control { |
|||
margin-top: 10px; |
|||
} |
|||
.leaflet-bottom .leaflet-control { |
|||
margin-bottom: 10px; |
|||
} |
|||
.leaflet-left .leaflet-control { |
|||
margin-left: 10px; |
|||
} |
|||
.leaflet-right .leaflet-control { |
|||
margin-right: 10px; |
|||
} |
|||
|
|||
|
|||
/* zoom and fade animations */ |
|||
|
|||
.leaflet-fade-anim .leaflet-tile { |
|||
will-change: opacity; |
|||
} |
|||
.leaflet-fade-anim .leaflet-popup { |
|||
opacity: 0; |
|||
-webkit-transition: opacity 0.2s linear; |
|||
-moz-transition: opacity 0.2s linear; |
|||
transition: opacity 0.2s linear; |
|||
} |
|||
.leaflet-fade-anim .leaflet-map-pane .leaflet-popup { |
|||
opacity: 1; |
|||
} |
|||
.leaflet-zoom-animated { |
|||
-webkit-transform-origin: 0 0; |
|||
-ms-transform-origin: 0 0; |
|||
transform-origin: 0 0; |
|||
} |
|||
.leaflet-zoom-anim .leaflet-zoom-animated { |
|||
will-change: transform; |
|||
} |
|||
.leaflet-zoom-anim .leaflet-zoom-animated { |
|||
-webkit-transition: -webkit-transform 0.25s cubic-bezier(0,0,0.25,1); |
|||
-moz-transition: -moz-transform 0.25s cubic-bezier(0,0,0.25,1); |
|||
transition: transform 0.25s cubic-bezier(0,0,0.25,1); |
|||
} |
|||
.leaflet-zoom-anim .leaflet-tile, |
|||
.leaflet-pan-anim .leaflet-tile { |
|||
-webkit-transition: none; |
|||
-moz-transition: none; |
|||
transition: none; |
|||
} |
|||
|
|||
.leaflet-zoom-anim .leaflet-zoom-hide { |
|||
visibility: hidden; |
|||
} |
|||
|
|||
|
|||
/* cursors */ |
|||
|
|||
.leaflet-interactive { |
|||
cursor: pointer; |
|||
} |
|||
.leaflet-grab { |
|||
cursor: -webkit-grab; |
|||
cursor: -moz-grab; |
|||
cursor: grab; |
|||
} |
|||
.leaflet-crosshair, |
|||
.leaflet-crosshair .leaflet-interactive { |
|||
cursor: crosshair; |
|||
} |
|||
.leaflet-popup-pane, |
|||
.leaflet-control { |
|||
cursor: auto; |
|||
} |
|||
.leaflet-dragging .leaflet-grab, |
|||
.leaflet-dragging .leaflet-grab .leaflet-interactive, |
|||
.leaflet-dragging .leaflet-marker-draggable { |
|||
cursor: move; |
|||
cursor: -webkit-grabbing; |
|||
cursor: -moz-grabbing; |
|||
cursor: grabbing; |
|||
} |
|||
|
|||
/* marker & overlays interactivity */ |
|||
.leaflet-marker-icon, |
|||
.leaflet-marker-shadow, |
|||
.leaflet-image-layer, |
|||
.leaflet-pane > svg path, |
|||
.leaflet-tile-container { |
|||
pointer-events: none; |
|||
} |
|||
|
|||
.leaflet-marker-icon.leaflet-interactive, |
|||
.leaflet-image-layer.leaflet-interactive, |
|||
.leaflet-pane > svg path.leaflet-interactive, |
|||
svg.leaflet-image-layer.leaflet-interactive path { |
|||
pointer-events: visiblePainted; /* IE 9-10 doesn't have auto */ |
|||
pointer-events: auto; |
|||
} |
|||
|
|||
/* visual tweaks */ |
|||
|
|||
.leaflet-container { |
|||
background: #ddd; |
|||
outline: 0; |
|||
} |
|||
.leaflet-container a { |
|||
color: #0078A8; |
|||
} |
|||
.leaflet-container a.leaflet-active { |
|||
outline: 2px solid orange; |
|||
} |
|||
.leaflet-zoom-box { |
|||
border: 2px dotted #38f; |
|||
background: rgba(255,255,255,0.5); |
|||
} |
|||
|
|||
|
|||
/* general typography */ |
|||
.leaflet-container { |
|||
font: 12px/1.5 "Helvetica Neue", Arial, Helvetica, sans-serif; |
|||
} |
|||
|
|||
|
|||
/* general toolbar styles */ |
|||
|
|||
.leaflet-bar { |
|||
box-shadow: 0 1px 5px rgba(0,0,0,0.65); |
|||
border-radius: 4px; |
|||
} |
|||
.leaflet-bar a, |
|||
.leaflet-bar a:hover { |
|||
background-color: #fff; |
|||
border-bottom: 1px solid #ccc; |
|||
width: 26px; |
|||
height: 26px; |
|||
line-height: 26px; |
|||
display: block; |
|||
text-align: center; |
|||
text-decoration: none; |
|||
color: black; |
|||
} |
|||
.leaflet-bar a, |
|||
.leaflet-control-layers-toggle { |
|||
background-position: 50% 50%; |
|||
background-repeat: no-repeat; |
|||
display: block; |
|||
} |
|||
.leaflet-bar a:hover { |
|||
background-color: #f4f4f4; |
|||
} |
|||
.leaflet-bar a:first-child { |
|||
border-top-left-radius: 4px; |
|||
border-top-right-radius: 4px; |
|||
} |
|||
.leaflet-bar a:last-child { |
|||
border-bottom-left-radius: 4px; |
|||
border-bottom-right-radius: 4px; |
|||
border-bottom: none; |
|||
} |
|||
.leaflet-bar a.leaflet-disabled { |
|||
cursor: default; |
|||
background-color: #f4f4f4; |
|||
color: #bbb; |
|||
} |
|||
|
|||
.leaflet-touch .leaflet-bar a { |
|||
width: 30px; |
|||
height: 30px; |
|||
line-height: 30px; |
|||
} |
|||
.leaflet-touch .leaflet-bar a:first-child { |
|||
border-top-left-radius: 2px; |
|||
border-top-right-radius: 2px; |
|||
} |
|||
.leaflet-touch .leaflet-bar a:last-child { |
|||
border-bottom-left-radius: 2px; |
|||
border-bottom-right-radius: 2px; |
|||
} |
|||
|
|||
/* zoom control */ |
|||
|
|||
.leaflet-control-zoom-in, |
|||
.leaflet-control-zoom-out { |
|||
font: bold 18px 'Lucida Console', Monaco, monospace; |
|||
text-indent: 1px; |
|||
} |
|||
|
|||
.leaflet-touch .leaflet-control-zoom-in, .leaflet-touch .leaflet-control-zoom-out { |
|||
font-size: 22px; |
|||
} |
|||
|
|||
|
|||
/* layers control */ |
|||
|
|||
.leaflet-control-layers { |
|||
box-shadow: 0 1px 5px rgba(0,0,0,0.4); |
|||
background: #fff; |
|||
border-radius: 5px; |
|||
} |
|||
.leaflet-control-layers-toggle { |
|||
background-image: url(/assets/img/layers.png); |
|||
width: 36px; |
|||
height: 36px; |
|||
} |
|||
.leaflet-retina .leaflet-control-layers-toggle { |
|||
background-image: url(/assets/img/layers-2x.png); |
|||
background-size: 26px 26px; |
|||
} |
|||
.leaflet-touch .leaflet-control-layers-toggle { |
|||
width: 44px; |
|||
height: 44px; |
|||
} |
|||
.leaflet-control-layers .leaflet-control-layers-list, |
|||
.leaflet-control-layers-expanded .leaflet-control-layers-toggle { |
|||
display: none; |
|||
} |
|||
.leaflet-control-layers-expanded .leaflet-control-layers-list { |
|||
display: block; |
|||
position: relative; |
|||
} |
|||
.leaflet-control-layers-expanded { |
|||
padding: 6px 10px 6px 6px; |
|||
color: #333; |
|||
background: #fff; |
|||
} |
|||
.leaflet-control-layers-scrollbar { |
|||
overflow-y: scroll; |
|||
overflow-x: hidden; |
|||
padding-right: 5px; |
|||
} |
|||
.leaflet-control-layers-selector { |
|||
margin-top: 2px; |
|||
position: relative; |
|||
top: 1px; |
|||
} |
|||
.leaflet-control-layers label { |
|||
display: block; |
|||
} |
|||
.leaflet-control-layers-separator { |
|||
height: 0; |
|||
border-top: 1px solid #ddd; |
|||
margin: 5px -10px 5px -6px; |
|||
} |
|||
|
|||
/* Default icon URLs */ |
|||
.leaflet-default-icon-path { |
|||
background-image: url(/assets/img/marker-icon.png); |
|||
} |
|||
|
|||
|
|||
/* attribution and scale controls */ |
|||
|
|||
.leaflet-container .leaflet-control-attribution { |
|||
background: #fff; |
|||
background: rgba(255, 255, 255, 0.7); |
|||
margin: 0; |
|||
} |
|||
.leaflet-control-attribution, |
|||
.leaflet-control-scale-line { |
|||
padding: 0 5px; |
|||
color: #333; |
|||
} |
|||
.leaflet-control-attribution a { |
|||
text-decoration: none; |
|||
} |
|||
.leaflet-control-attribution a:hover { |
|||
text-decoration: underline; |
|||
} |
|||
.leaflet-container .leaflet-control-attribution, |
|||
.leaflet-container .leaflet-control-scale { |
|||
font-size: 11px; |
|||
} |
|||
.leaflet-left .leaflet-control-scale { |
|||
margin-left: 5px; |
|||
} |
|||
.leaflet-bottom .leaflet-control-scale { |
|||
margin-bottom: 5px; |
|||
} |
|||
.leaflet-control-scale-line { |
|||
border: 2px solid #777; |
|||
border-top: none; |
|||
line-height: 1.1; |
|||
padding: 2px 5px 1px; |
|||
font-size: 11px; |
|||
white-space: nowrap; |
|||
overflow: hidden; |
|||
-moz-box-sizing: border-box; |
|||
box-sizing: border-box; |
|||
|
|||
background: #fff; |
|||
background: rgba(255, 255, 255, 0.5); |
|||
} |
|||
.leaflet-control-scale-line:not(:first-child) { |
|||
border-top: 2px solid #777; |
|||
border-bottom: none; |
|||
margin-top: -2px; |
|||
} |
|||
.leaflet-control-scale-line:not(:first-child):not(:last-child) { |
|||
border-bottom: 2px solid #777; |
|||
} |
|||
|
|||
.leaflet-touch .leaflet-control-attribution, |
|||
.leaflet-touch .leaflet-control-layers, |
|||
.leaflet-touch .leaflet-bar { |
|||
box-shadow: none; |
|||
} |
|||
.leaflet-touch .leaflet-control-layers, |
|||
.leaflet-touch .leaflet-bar { |
|||
border: 2px solid rgba(0,0,0,0.2); |
|||
background-clip: padding-box; |
|||
} |
|||
|
|||
|
|||
/* popup */ |
|||
|
|||
.leaflet-popup { |
|||
position: absolute; |
|||
text-align: center; |
|||
margin-bottom: 20px; |
|||
} |
|||
.leaflet-popup-content-wrapper { |
|||
padding: 1px; |
|||
text-align: left; |
|||
border-radius: 12px; |
|||
} |
|||
.leaflet-popup-content { |
|||
margin: 13px 19px; |
|||
line-height: 1.4; |
|||
} |
|||
.leaflet-popup-content p { |
|||
margin: 18px 0; |
|||
} |
|||
.leaflet-popup-tip-container { |
|||
width: 40px; |
|||
height: 20px; |
|||
position: absolute; |
|||
left: 50%; |
|||
margin-left: -20px; |
|||
overflow: hidden; |
|||
pointer-events: none; |
|||
} |
|||
.leaflet-popup-tip { |
|||
width: 17px; |
|||
height: 17px; |
|||
padding: 1px; |
|||
|
|||
margin: -10px auto 0; |
|||
|
|||
-webkit-transform: rotate(45deg); |
|||
-moz-transform: rotate(45deg); |
|||
-ms-transform: rotate(45deg); |
|||
transform: rotate(45deg); |
|||
} |
|||
.leaflet-popup-content-wrapper, |
|||
.leaflet-popup-tip { |
|||
background: white; |
|||
color: #333; |
|||
box-shadow: 0 3px 14px rgba(0,0,0,0.4); |
|||
} |
|||
.leaflet-container a.leaflet-popup-close-button { |
|||
position: absolute; |
|||
top: 0; |
|||
right: 0; |
|||
padding: 4px 4px 0 0; |
|||
border: none; |
|||
text-align: center; |
|||
width: 18px; |
|||
height: 14px; |
|||
font: 16px/14px Tahoma, Verdana, sans-serif; |
|||
color: #c3c3c3; |
|||
text-decoration: none; |
|||
font-weight: bold; |
|||
background: transparent; |
|||
} |
|||
.leaflet-container a.leaflet-popup-close-button:hover { |
|||
color: #999; |
|||
} |
|||
.leaflet-popup-scrolled { |
|||
overflow: auto; |
|||
border-bottom: 1px solid #ddd; |
|||
border-top: 1px solid #ddd; |
|||
} |
|||
|
|||
.leaflet-oldie .leaflet-popup-content-wrapper { |
|||
-ms-zoom: 1; |
|||
} |
|||
.leaflet-oldie .leaflet-popup-tip { |
|||
width: 24px; |
|||
margin: 0 auto; |
|||
|
|||
-ms-filter: "progid:DXImageTransform.Microsoft.Matrix(M11=0.70710678, M12=0.70710678, M21=-0.70710678, M22=0.70710678)"; |
|||
filter: progid:DXImageTransform.Microsoft.Matrix(M11=0.70710678, M12=0.70710678, M21=-0.70710678, M22=0.70710678); |
|||
} |
|||
.leaflet-oldie .leaflet-popup-tip-container { |
|||
margin-top: -1px; |
|||
} |
|||
|
|||
.leaflet-oldie .leaflet-control-zoom, |
|||
.leaflet-oldie .leaflet-control-layers, |
|||
.leaflet-oldie .leaflet-popup-content-wrapper, |
|||
.leaflet-oldie .leaflet-popup-tip { |
|||
border: 1px solid #999; |
|||
} |
|||
|
|||
|
|||
/* div icon */ |
|||
|
|||
.leaflet-div-icon { |
|||
background: #fff; |
|||
border: 1px solid #666; |
|||
} |
|||
|
|||
|
|||
/* Tooltip */ |
|||
/* Base styles for the element that has a tooltip */ |
|||
.leaflet-tooltip { |
|||
position: absolute; |
|||
padding: 6px; |
|||
background-color: #fff; |
|||
border: 1px solid #fff; |
|||
border-radius: 3px; |
|||
color: #222; |
|||
white-space: nowrap; |
|||
-webkit-user-select: none; |
|||
-moz-user-select: none; |
|||
-ms-user-select: none; |
|||
user-select: none; |
|||
pointer-events: none; |
|||
box-shadow: 0 1px 3px rgba(0,0,0,0.4); |
|||
} |
|||
.leaflet-tooltip.leaflet-clickable { |
|||
cursor: pointer; |
|||
pointer-events: auto; |
|||
} |
|||
.leaflet-tooltip-top:before, |
|||
.leaflet-tooltip-bottom:before, |
|||
.leaflet-tooltip-left:before, |
|||
.leaflet-tooltip-right:before { |
|||
position: absolute; |
|||
pointer-events: none; |
|||
border: 6px solid transparent; |
|||
background: transparent; |
|||
content: ""; |
|||
} |
|||
|
|||
/* Directions */ |
|||
|
|||
.leaflet-tooltip-bottom { |
|||
margin-top: 6px; |
|||
} |
|||
.leaflet-tooltip-top { |
|||
margin-top: -6px; |
|||
} |
|||
.leaflet-tooltip-bottom:before, |
|||
.leaflet-tooltip-top:before { |
|||
left: 50%; |
|||
margin-left: -6px; |
|||
} |
|||
.leaflet-tooltip-top:before { |
|||
bottom: 0; |
|||
margin-bottom: -12px; |
|||
border-top-color: #fff; |
|||
} |
|||
.leaflet-tooltip-bottom:before { |
|||
top: 0; |
|||
margin-top: -12px; |
|||
margin-left: -6px; |
|||
border-bottom-color: #fff; |
|||
} |
|||
.leaflet-tooltip-left { |
|||
margin-left: -6px; |
|||
} |
|||
.leaflet-tooltip-right { |
|||
margin-left: 6px; |
|||
} |
|||
.leaflet-tooltip-left:before, |
|||
.leaflet-tooltip-right:before { |
|||
top: 50%; |
|||
margin-top: -6px; |
|||
} |
|||
.leaflet-tooltip-left:before { |
|||
right: 0; |
|||
margin-right: -12px; |
|||
border-left-color: #fff; |
|||
} |
|||
.leaflet-tooltip-right:before { |
|||
left: 0; |
|||
margin-left: -12px; |
|||
border-right-color: #fff; |
|||
} |
@ -0,0 +1,26 @@ |
|||
html { |
|||
height: 100%; |
|||
} |
|||
|
|||
body { |
|||
height: 100%; |
|||
padding-top: 0rem; |
|||
color: #5a5a5a; |
|||
background-color: #e8eaf6; |
|||
line-height: 1.6; |
|||
font-size: 18px; |
|||
} |
|||
|
|||
#page-title { |
|||
text-align: center; |
|||
} |
|||
|
|||
main { |
|||
height: 100%; |
|||
width: 100%; |
|||
} |
|||
|
|||
#map { |
|||
height: 100%; |
|||
width: 100%; |
|||
} |
After Width: | Height: | Size: 1.2 KiB |
After Width: | Height: | Size: 696 B |
After Width: | Height: | Size: 2.4 KiB |
After Width: | Height: | Size: 1.4 KiB |
After Width: | Height: | Size: 618 B |
@ -0,0 +1,8 @@ |
|||
(rule |
|||
(target client.js) |
|||
(deps |
|||
(file ../../../js/client.bc.js)) |
|||
(action |
|||
(with-stdout-to |
|||
%{target} |
|||
(cat ../../../js/client.bc.js)))) |
@ -0,0 +1,95 @@ |
|||
open Lwt.Syntax |
|||
|
|||
type dromedary_info = |
|||
{ latitude : float |
|||
; longitude : float |
|||
; dir : float |
|||
; timestamp : float |
|||
} |
|||
|
|||
type room = (string, Dream.websocket) Hashtbl.t |
|||
|
|||
let rooms : (string, room) Hashtbl.t = Hashtbl.create ~random:true 1 |
|||
|
|||
let alphabet = [| 'a'; 'a'; 'b'; 'c' |] |
|||
|
|||
let room_id_len = 4 |
|||
|
|||
let make_room () = |
|||
let room_id = |
|||
String.init room_id_len (fun _i -> |
|||
let k = Random.int (Array.length alphabet) in |
|||
alphabet.(k) ) |
|||
in |
|||
Hashtbl.add rooms room_id (Hashtbl.create 5); |
|||
room_id |
|||
|
|||
let home_page_post request = |
|||
match%lwt Dream.form request with |
|||
| `Ok [] -> |
|||
let room_id = make_room () in |
|||
let url = Format.sprintf "/%s" room_id in |
|||
Dream.respond ~status:`See_Other |
|||
~headers:[ ("Location", url) ] |
|||
"a new room was made" |
|||
| invalid_form -> Util.handle_invalid_form invalid_form |
|||
|
|||
let home_page_get request = Dream.html @@ Home.f request |
|||
|
|||
let room request = |
|||
let room_id = Dream.param request "room_id" in |
|||
Dream.html @@ Room.f room_id request |
|||
|
|||
let send room data = |
|||
Hashtbl.to_seq_values room |> List.of_seq |
|||
|> Lwt_list.iter_p (fun client -> Dream.send client data) |
|||
|
|||
let forget_client room client_id = Hashtbl.remove room client_id |
|||
|
|||
let handle_session request = |
|||
match Dream.session_field request "id" with |
|||
| None -> |
|||
let id = Uuidm.to_string (Uuidm.v4_gen App.random_state ()) in |
|||
let* () = Dream.invalidate_session request in |
|||
let* () = Dream.set_session_field request "id" id in |
|||
Lwt.return id |
|||
| Some id -> Lwt.return id |
|||
|
|||
let handle_client request client = |
|||
let room_id = Dream.param request "room_id" in |
|||
let* id = handle_session request in |
|||
match Hashtbl.find_opt rooms room_id with |
|||
| None -> Dream.log "Error room not found" |> Lwt.return |
|||
| Some room -> |
|||
Hashtbl.add room id client; |
|||
let rec loop () = |
|||
match%lwt Dream.receive client with |
|||
| Some data -> |
|||
(* TODO check geo and catch marshal failure *) |
|||
let s = Scanf.sscanf data "%S" (fun s -> s) in |
|||
let pos_magic : Msg.Magic.t = Marshal.from_string s 0 in |
|||
let pos = Msg.Magic.to_pos pos_magic in |
|||
let msg : Msg.server_msg = (id, Msg.Magic.of_pos pos) in |
|||
let s = Marshal.to_string msg [] |> Format.sprintf "%S" in |
|||
let* () = send room s in |
|||
loop () |
|||
| None -> |
|||
forget_client room id; |
|||
Dream.close_websocket client |
|||
in |
|||
loop () |
|||
|
|||
let () = |
|||
let logger = if App.log then Dream.logger else Fun.id in |
|||
Dream.run ~port:App.port |
|||
~error_handler:(Dream.error_template Util.error_template) |
|||
@@ logger @@ Dream.memory_sessions |
|||
@@ Dream.router |
|||
Dream. |
|||
[ get "/assets/**" (Dream.static ~loader:Util.asset_loader "") |
|||
; get "/" home_page_get |
|||
; post "/" home_page_post |
|||
; get "/:room_id" room |
|||
; get "/:room_id/ws" (fun request -> |
|||
Dream.websocket @@ handle_client request ) |
|||
] |
@ -0,0 +1,39 @@ |
|||
(executable |
|||
(name dromloc) |
|||
(modules app content dromloc home util template room) |
|||
(libraries |
|||
uuidm |
|||
bos |
|||
caqti |
|||
caqti.blocking |
|||
caqti-driver-sqlite3 |
|||
directories |
|||
dream |
|||
emoji |
|||
fpath |
|||
lambdasoup |
|||
lwt |
|||
msg |
|||
safepass |
|||
scfg |
|||
uri |
|||
tyxml |
|||
tyxml.functor |
|||
yojson) |
|||
(preprocess |
|||
(pps lwt_ppx))) |
|||
|
|||
(library |
|||
(name msg) |
|||
(modules msg) |
|||
(libraries)) |
|||
|
|||
(rule |
|||
(target content.ml) |
|||
(deps |
|||
(source_tree content) |
|||
(file content/assets/js/client.js)) |
|||
(action |
|||
(with-stdout-to |
|||
%{null} |
|||
(run ocaml-crunch -m plain content -o %{target})))) |
@ -0,0 +1,17 @@ |
|||
open Tyxml.Html |
|||
|
|||
let f request = |
|||
let page_title = "Droloc" in |
|||
let about = div [ txt App.about ] in |
|||
let make_room = |
|||