[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-07-26 Thread Luca Falavigna
Fixed in Intrepid with 2:4.0-1ubuntu1. ** Changed in: drscheme (Ubuntu) Status: Confirmed => Fix Released -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribe

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-06-27 Thread Joel Borggrén-Franck
There is already an entry in the debian todo file regarding this issue, but the package is orphaned i Debian, so I don't think it will matter. -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ub

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-06-13 Thread Luca Falavigna
Given that, could you open a bug report in Debian to submit your changes? This way, we can be aware of maintainer choices. -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-04-04 Thread Joel Borggrén-Franck
Yes and no. As far as I can tell there have been substantial changes in PLT's web-server scripts. Few of the original patches (on web-server) from debian apply, and the script to start a web-server has been replaced with an example (or stub) of how you could define and start your own web-server. So

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-04-04 Thread Luca Falavigna
This seems an intrusive change to me, could it be possible to apply a similar patch to the one in comment #4? -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-03-12 Thread Joel Borggrén-Franck
** Changed in: drscheme (Ubuntu) Assignee: Joel Borggrén-Franck (jbf) => (unassigned) Status: In Progress => Confirmed -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, w

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-03-12 Thread Joel Borggrén-Franck
So I made a shot at ripping out the defunct web-server scripts, and broken init-scripts. I did it the brute force way, just removing files from debian/ and editing rules, don't know if there is a better way to do it. It installs, and removes cleanly and afaict actually works. ** Attachment added:

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-17 Thread Joel Borggrén-Franck
Hardy has upgraded to drscheme 372 which does suffer from related problems, but not the exact same ones, so I need to do a new patch. My proposal is to drop the web-server initscript part from the package. I will try to come up with a patch for this vs hardy later during the week. Also note that t

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-17 Thread Siegfried Gevatter (RainCT)
The target distribution should be hardy, not gutsy (change this in debian/changelog). If you think this is important enough to be fixed in Gutsy too, after getting it into Hardy follow the SRU process (https://wiki.ubuntu.com/StableReleaseUpdates). Also, the syntax for closing an Ubuntu bug is "LP:

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-16 Thread Joel Borggrén-Franck
Okey, I gave it a try, and I got a working package. BUT there is another problem regarding the web-server, since it depends on MrEd which is included in the drscheme package. So the debdiff also includes a move of the mred collects to the mzscheme deb which might (quite possibly) be the wrong way

Re: [Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-14 Thread Joel Borggrén-Franck
I'll take a shot at this during the weekend. On Wed, Feb 13, 2008 at 12:17 PM, Daniel Holbach <[EMAIL PROTECTED]> wrote: > To get your fix included in Ubuntu, it would help if you tried > transforming it into a debdiff > (http://wiki.ubuntu.com/PackagingGuide/Recipes/Debdiff) and submit it > fo

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-13 Thread Daniel Holbach
To get your fix included in Ubuntu, it would help if you tried transforming it into a debdiff (http://wiki.ubuntu.com/PackagingGuide/Recipes/Debdiff) and submit it for review (http://wiki.ubuntu.com/SponsorshipProcess). If you prefer somebody else to do that, that's fine - please just indicate if y

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-11 Thread Joel Borggrén-Franck
** Attachment added: "Fix" http://launchpadlibrarian.net/11862448/patch -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs ma