mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'master' into es17.01

Browse Source
This commit is contained in:
Jocelyn Fiat
2017-05-15 13:20:24 +02:00
parent 24d834fb0b 485a3812d9
commit cd382bca64
7 changed files with 66 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/network/websocket/server/example/echo_websocket_server/echo_websocket_server.ecf
View File

@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="echo_websocket_server" uuid="C9B3DA5F-DF0D-4C0F-924A-130B5C1E6604">
<target name="common">
<target name="common" abstract="true">
<file_rule>
<exclude>/\.git$</exclude>
<exclude>/\.svn$</exclude>