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

Merge pull request #18 from oligot/fix_ise_wizard

Browse Source 
Fix ise_wizard
This commit is contained in:
Jocelyn Fiat
2012-12-04 03:01:41 -08:00
parent 156406f9ac e9376b5d16
commit 9770af09b4
2 changed files with 2 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tools/ise_wizard/resources/ewf_application.e
View File

@@ -26,8 +26,6 @@ feature -- Execution
-- Default request handler if no other are relevant -- Default request handler if no other are relevant
local local
mesg: WSF_HTML_PAGE_RESPONSE mesg: WSF_HTML_PAGE_RESPONSE
s: STRING_8
l_user_name: READABLE_STRING_32
do do
create mesg.make create mesg.make
mesg.set_title ("Hello World!") mesg.set_title ("Hello World!")
@@ -44,9 +42,6 @@ feature {NONE} -- Initialization
--| If you don't need any custom options, you are not obliged to redefine `initialize' --| If you don't need any custom options, you are not obliged to redefine `initialize'
Precursor Precursor
--| Initialize router
initialize_router
end end
end end

5
tools/ise_wizard/src/ewf_wizard.e
View File

@@ -119,15 +119,14 @@ feature -- Form
tfn.add_extension ("ecf") tfn.add_extension ("ecf")
copy_resource_template ("template.ecf", tfn.string) copy_resource_template ("template.ecf", tfn.string)
create res.make (tfn.string, d.name)
create tfn.make_from_string (dn.string) create tfn.make_from_string (dn.string)
tfn.set_file_name ("ewf") tfn.set_file_name ("ewf")
tfn.add_extension ("ini") tfn.add_extension ("ini")
copy_resource_template ("ewf.ini", tfn.string) copy_resource_template ("ewf.ini", tfn.string)
create res.make (tfn.string, d.name)
create dn.make_from_string (pdn) create dn.make_from_string (pdn)
dn.extend (pn) dn.extend (pn)
dn.extend ("src") dn.extend ("src")