mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix obsolete names and use across loop

Browse Source 
Author:Conaclos
Date:2014-07-22T13:45:21.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1389 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
conaclos
2014-07-22 13:45:21 +00:00
parent 8327b2647b
commit e8ed8ade30
1 changed files with 7 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
documentation/current/solutions/networking/eiffelnet/eiffelnet-tutorial/obtaining-finer-degree-control.wiki
View File

@@ -81,7 +81,7 @@ feature
do do
create soc1.make_server ("/tmp/here") create soc1.make_server ("/tmp/here")
from from
soc1listen (5) soc1.listen (5)
count := 0 count := 0
until until
count = 3 count = 3
@@ -102,14 +102,11 @@ feature
soc1.accept soc1.accept
if attached soc1.accepted as l_soc2 then if attached soc1.accepted as l_soc2 then
if attached {OUR_MESSAGE} retrieved (l_soc2) as l_our_new_list then if attached {OUR_MESSAGE} retrieved (l_soc2) as l_our_new_list then
from across
l_our_new_list.start l_our_new_list as it
until
l_our_new_list.after
loop loop
io.putstring (l_our_new_list.item) io.put_string (it.item)
io.new_line io.new_line
l_our_new_list.forth
end end
l_our_new_list.extend ("%N I'm back.%N") l_our_new_list.extend ("%N I'm back.%N")
l_our_new_list.independent_store (l_soc2) l_our_new_list.independent_store (l_soc2)
@@ -164,13 +161,10 @@ feature
our_list.extend (" test") our_list.extend (" test")
our_list.independent_store (soc1) our_list.independent_store (soc1)
if attached {OUR_MESSAGE} our_list.retrieved (soc1) as l_our_new_list then if attached {OUR_MESSAGE} our_list.retrieved (soc1) as l_our_new_list then
from across
l_our_new_list.start l_our_new_list as it
until
l_our_new_list.after
loop loop
io.putstring (l_our_new_list.item) io.putstring (it.item)
l_our_new_list.forth
end end
io.new_line io.new_line
end end