~ubuntu-branches/debian/sid/grub2/sid-200907171834

« back to all changes in this revision

Viewing changes to util/i386/pc/misc.c

  • Committer: Bazaar Package Importer
  • Author(s): Robert Millan, Updated translations, Robert Millan
  • Date: 2008-11-10 16:18:14 UTC
  • mfrom: (1.1.11 upstream)
  • Revision ID: james.westby@ubuntu.com-20081110161814-1ltb13avouqapmlh
Tags: 1.96+20080724-12
[ Updated translations ]
* Italian (it.po) by Luca Monducci. (Closes: #504076)
* Swedish (sv.po) by Martin Ågren. (Closes: #504207)
* Arabic (ar.po) by Ossama Khayat. (Closes: #504254)
* Portuguese (pt.po) by Miguel Figueiredo. (Closes: #504280)
* Russian (ru.po) by Yuri Kozlov. (Closes: #504324)
* Finnish (fi.po) by Esko Arajärvi. (Closes: #504310)
* Basque (eu.po) by Piarres Beobide. (Closes: #504466)
* Dutch (nl.po) by Paul Gevers. (Closes: #504683)

[ Robert Millan ]
* Update to new debian theme.
  - grub-pc.postinst: Switch to moreblue-orbit-grub.png.
  - grub.d/05_debian_theme: Likewise.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
/*
 
2
 *  GRUB  --  GRand Unified Bootloader
 
3
 *  Copyright (C) 2005,2007  Free Software Foundation, Inc.
 
4
 *
 
5
 *  GRUB is free software: you can redistribute it and/or modify
 
6
 *  it under the terms of the GNU General Public License as published by
 
7
 *  the Free Software Foundation, either version 3 of the License, or
 
8
 *  (at your option) any later version.
 
9
 *
 
10
 *  GRUB is distributed in the hope that it will be useful,
 
11
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 
12
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
13
 *  GNU General Public License for more details.
 
14
 *
 
15
 *  You should have received a copy of the GNU General Public License
 
16
 *  along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
 
17
 */
 
18
 
 
19
#include <setjmp.h>
 
20
 
 
21
#include <grub/util/misc.h>
 
22
 
 
23
void
 
24
grub_reboot (void)
 
25
{
 
26
  longjmp (main_env, 1);
 
27
}
 
28
 
 
29
void
 
30
grub_halt (int no_apm __attribute__ ((unused)))
 
31
{
 
32
  grub_reboot ();
 
33
}