Ermanno Brusadin / mbed-src

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

common/exit.c@0:0a673c671a56, 2016-07-27 (annotated)

Committer:
ebrus
Date:
Wed Jul 27 18:35:32 2016 +0000
Revision:
0:0a673c671a56
4

Who changed what in which revision?

UserRevisionLine numberNew contents of line
ebrus 0:0a673c671a56 1 /* mbed Microcontroller Library
ebrus 0:0a673c671a56 2 * Copyright (c) 2006-2013 ARM Limited
ebrus 0:0a673c671a56 3 *
ebrus 0:0a673c671a56 4 * Licensed under the Apache License, Version 2.0 (the "License");
ebrus 0:0a673c671a56 5 * you may not use this file except in compliance with the License.
ebrus 0:0a673c671a56 6 * You may obtain a copy of the License at
ebrus 0:0a673c671a56 7 *
ebrus 0:0a673c671a56 8 * http://www.apache.org/licenses/LICENSE-2.0
ebrus 0:0a673c671a56 9 *
ebrus 0:0a673c671a56 10 * Unless required by applicable law or agreed to in writing, software
ebrus 0:0a673c671a56 11 * distributed under the License is distributed on an "AS IS" BASIS,
ebrus 0:0a673c671a56 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
ebrus 0:0a673c671a56 13 * See the License for the specific language governing permissions and
ebrus 0:0a673c671a56 14 * limitations under the License.
ebrus 0:0a673c671a56 15 */
ebrus 0:0a673c671a56 16 #include "semihost_api.h"
ebrus 0:0a673c671a56 17 #include "mbed_interface.h"
ebrus 0:0a673c671a56 18 #if DEVICE_STDIO_MESSAGES
ebrus 0:0a673c671a56 19 #include <stdio.h>
ebrus 0:0a673c671a56 20 #endif
ebrus 0:0a673c671a56 21
ebrus 0:0a673c671a56 22 #ifdef TOOLCHAIN_GCC_CW
ebrus 0:0a673c671a56 23 // TODO: Ideally, we would like to define directly "_ExitProcess"
ebrus 0:0a673c671a56 24 void mbed_exit(int return_code) {
ebrus 0:0a673c671a56 25 #else
ebrus 0:0a673c671a56 26 void exit(int return_code) {
ebrus 0:0a673c671a56 27 #endif
ebrus 0:0a673c671a56 28
ebrus 0:0a673c671a56 29 #if DEVICE_STDIO_MESSAGES
ebrus 0:0a673c671a56 30 fflush(stdout);
ebrus 0:0a673c671a56 31 fflush(stderr);
ebrus 0:0a673c671a56 32 #endif
ebrus 0:0a673c671a56 33
ebrus 0:0a673c671a56 34 #if DEVICE_SEMIHOST
ebrus 0:0a673c671a56 35 if (mbed_interface_connected()) {
ebrus 0:0a673c671a56 36 semihost_exit();
ebrus 0:0a673c671a56 37 }
ebrus 0:0a673c671a56 38 #endif
ebrus 0:0a673c671a56 39 if (return_code) {
ebrus 0:0a673c671a56 40 mbed_die();
ebrus 0:0a673c671a56 41 }
ebrus 0:0a673c671a56 42
ebrus 0:0a673c671a56 43 while (1);
ebrus 0:0a673c671a56 44 }