From: "Charles Sandmann" <sandmann AT clio DOT rice DOT edu>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: Reboot the computer.
Date: Sun,  6 Sep 1998 11:42:15
Organization: Aspen Technology, Inc.
Lines: 16
Message-ID: <35f27517.sandmann@clio.rice.edu>
References: <Pine DOT SUN DOT 3 DOT 91 DOT 980906123157 DOT 20285K-100000 AT is>
Reply-To: sandmann AT clio DOT rice DOT edu
NNTP-Posting-Host: dmcap2.aco.aspentech.com
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Precedence: bulk

> > 	Add this line when you want the machine to reboot.
> > asm ("int 0x19");
> 
> I think the recent discussion concluded that issuing INT 19H via
> `__dpmi_int' is a better idea, since otherwise CWSDPMI would sometimes
> not allow/ignore it.

I'm always amazed how decisions I make 3-4 years ago lay dormant and then
strike when I least expect...  Actually not handling the protected mode
interrupt 0x19 is a feature of CWSDPMI (Feature: Documented bug or design
decision...).  The DPMI spec says this should be passed through - but I
caught it and printed a message just in case you made a mistake and didn't
want the computer rebooted.

So ... it probably ought to be fixed in CWSDPMI since W95 behaves with the
protected mode version but behaves badly with the dpmi_int method.